diff options
Diffstat (limited to 'src/prop')
-rw-r--r-- | src/prop/Makefile.am | 3 | ||||
-rw-r--r-- | src/prop/prop_engine.cpp | 0 |
2 files changed, 2 insertions, 1 deletions
diff --git a/src/prop/Makefile.am b/src/prop/Makefile.am index 87108cb5c..4071197ad 100644 --- a/src/prop/Makefile.am +++ b/src/prop/Makefile.am @@ -4,6 +4,7 @@ AM_CPPFLAGS = -D__BUILDING_CVC4LIB noinst_LTLIBRARIES = libprop.la -libprop_la_SOURCES = +libprop_la_SOURCES = \ + prop_engine.cpp SUBDIRS = minisat diff --git a/src/prop/prop_engine.cpp b/src/prop/prop_engine.cpp new file mode 100644 index 000000000..e69de29bb --- /dev/null +++ b/src/prop/prop_engine.cpp |