diff options
Diffstat (limited to 'src/smt/Makefile.am')
| -rw-r--r-- | src/smt/Makefile.am | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/src/smt/Makefile.am b/src/smt/Makefile.am index fa7fed5f1..a2da2c949 100644 --- a/src/smt/Makefile.am +++ b/src/smt/Makefile.am @@ -7,7 +7,4 @@ noinst_LTLIBRARIES = libsmt.la libsmt_la_SOURCES = \ smt_engine.cpp \ - smt_engine.h \ - cnf_converter.h \ - cnf_converter.cpp \ - cnf_conversion.h + smt_engine.h |