diff options
author | Tim King <taking@cs.nyu.edu> | 2010-02-02 20:56:47 +0000 |
---|---|---|
committer | Tim King <taking@cs.nyu.edu> | 2010-02-02 20:56:47 +0000 |
commit | a8588cb23c5257bb11a70348346476b55317faa3 (patch) | |
tree | 34bead7e2b760d813ee02d04a9dec091eedbc745 /src/smt/Makefile.am | |
parent | 86716e3782aae62a38987f7f89bdf5498eca534a (diff) |
Switched cnf conversion to go through CnfStream.
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 |