diff options
Diffstat (limited to 'src/Makefile.am')
| -rw-r--r-- | src/Makefile.am | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/Makefile.am b/src/Makefile.am index b4a083b0a..917fc6ef3 100644 --- a/src/Makefile.am +++ b/src/Makefile.am @@ -54,7 +54,6 @@ libcvc4_la_SOURCES = \ context/cdtrail_hashmap.h \ context/cdtrail_hashmap_forward.h \ context/cdtrail_queue.h \ - context/cdvector.h \ context/context.cpp \ context/context.h \ context/context_mm.cpp \ @@ -394,6 +393,8 @@ libcvc4_la_SOURCES = \ theory/quantifiers/bv_inverter.h \ theory/quantifiers/candidate_rewrite_database.cpp \ theory/quantifiers/candidate_rewrite_database.h \ + theory/quantifiers/candidate_rewrite_filter.cpp \ + theory/quantifiers/candidate_rewrite_filter.h \ theory/quantifiers/cegqi/ceg_instantiator.cpp \ theory/quantifiers/cegqi/ceg_instantiator.h \ theory/quantifiers/cegqi/ceg_arith_instantiator.cpp \ |