diff options
author | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2012-03-25 20:45:45 +0000 |
---|---|---|
committer | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2012-03-25 20:45:45 +0000 |
commit | 70c23e23c3bfc8aa3fdf285fc643b0438359d22a (patch) | |
tree | 3f8f1797e0f8dd3d977f983c1ab823c682f51551 /src/prop/minisat/Makefile.am | |
parent | 0d080430206880ffc19050acfa01aae1475f1978 (diff) |
moving minisat implementation into their respective directories (regular and bv)
Diffstat (limited to 'src/prop/minisat/Makefile.am')
-rw-r--r-- | src/prop/minisat/Makefile.am | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/prop/minisat/Makefile.am b/src/prop/minisat/Makefile.am index 6e003c248..045cc3616 100644 --- a/src/prop/minisat/Makefile.am +++ b/src/prop/minisat/Makefile.am @@ -22,7 +22,9 @@ libminisat_la_SOURCES = \ mtl/Sort.h \ mtl/Vec.h \ mtl/XAlloc.h \ - utils/Options.h + utils/Options.h \ + minisat.cpp \ + minisat.h EXTRA_DIST = \ core/Main.cc \ |