diff options
Diffstat (limited to 'src/smt/Makefile.am')
| -rw-r--r-- | src/smt/Makefile.am | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/src/smt/Makefile.am b/src/smt/Makefile.am index 8aa3e1630..6f5b8fe76 100644 --- a/src/smt/Makefile.am +++ b/src/smt/Makefile.am @@ -14,9 +14,7 @@ libsmt_la_SOURCES = \ command_list.h \ modal_exception.h \ simplification_mode.h \ - simplification_mode.cpp \ - model_format_mode.h \ - model_format_mode.cpp + simplification_mode.cpp nodist_libsmt_la_SOURCES = \ smt_options.cpp |