diff options
Diffstat (limited to 'src/theory/quantifiers/Makefile.am')
-rw-r--r-- | src/theory/quantifiers/Makefile.am | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/src/theory/quantifiers/Makefile.am b/src/theory/quantifiers/Makefile.am index 5172001fc..2b16c9af3 100644 --- a/src/theory/quantifiers/Makefile.am +++ b/src/theory/quantifiers/Makefile.am @@ -15,6 +15,14 @@ libquantifiers_la_SOURCES = \ theory_quantifiers_instantiator.cpp \ instantiation_engine.h \ instantiation_engine.cpp \ + trigger.h \ + trigger.cpp \ + candidate_generator.h \ + candidate_generator.cpp \ + instantiator_default.h \ + instantiator_default.cpp \ + inst_match.h \ + inst_match.cpp \ model_engine.h \ model_engine.cpp \ inst_when_mode.cpp \ |