diff options
Diffstat (limited to 'src/theory/quantifiers/Makefile.am')
-rw-r--r-- | src/theory/quantifiers/Makefile.am | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/src/theory/quantifiers/Makefile.am b/src/theory/quantifiers/Makefile.am index de74e44f8..ae5b99c06 100644 --- a/src/theory/quantifiers/Makefile.am +++ b/src/theory/quantifiers/Makefile.am @@ -16,6 +16,14 @@ libquantifiers_la_SOURCES = \ instantiation_engine.h \ instantiation_engine.cpp \ model_engine.h \ - model_engine.cpp + model_engine.cpp \ + relevant_domain.h \ + relevant_domain.cpp \ + rep_set_iterator.h \ + rep_set_iterator.cpp \ + term_database.h \ + term_database.cpp \ + first_order_model.h \ + first_order_model.cpp EXTRA_DIST = kinds
\ No newline at end of file |