Bugfix: removed semikolon from SMT_ERR_OK definition