diff options
Diffstat (limited to 'src/prop/bvminisat/Makefile.am')
| -rw-r--r-- | src/prop/bvminisat/Makefile.am | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/prop/bvminisat/Makefile.am b/src/prop/bvminisat/Makefile.am index 480e4e83c..685dfac7d 100644 --- a/src/prop/bvminisat/Makefile.am +++ b/src/prop/bvminisat/Makefile.am @@ -22,7 +22,9 @@ libbvminisat_la_SOURCES = \ mtl/Sort.h \ mtl/Vec.h \ mtl/XAlloc.h \ - utils/Options.h + utils/Options.h \ + bvminisat.h \ + bvminisat.cpp EXTRA_DIST = \ core/Main.cc \ |