diff options
author | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2012-03-26 14:22:38 +0000 |
---|---|---|
committer | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2012-03-26 14:22:38 +0000 |
commit | 1ed3b1803bd0a25c56a62d290cd5dcb64c5085ce (patch) | |
tree | f65a0b2ad744a5f2b6408c34319aad10c7d2f406 /src/prop/Makefile.am | |
parent | 9918f0e86a38f5fc8671ec6115eaac9b2c3b31d8 (diff) |
More cleaning up.
Diffstat (limited to 'src/prop/Makefile.am')
-rw-r--r-- | src/prop/Makefile.am | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/src/prop/Makefile.am b/src/prop/Makefile.am index 832255621..c1dc3b828 100644 --- a/src/prop/Makefile.am +++ b/src/prop/Makefile.am @@ -16,7 +16,8 @@ libprop_la_SOURCES = \ cnf_stream.h \ cnf_stream.cpp \ sat_solver.h \ - sat_solver.cpp - + sat_solver_factory.h \ + sat_solver_factory.cpp + SUBDIRS = minisat bvminisat |