diff options
Diffstat (limited to 'src/Makefile.am')
-rw-r--r-- | src/Makefile.am | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/Makefile.am b/src/Makefile.am index 60f3bc7c2..16ac45de2 100644 --- a/src/Makefile.am +++ b/src/Makefile.am @@ -311,8 +311,8 @@ libcvc4_la_SOURCES = \ theory/quantifiers/full_model_check.cpp \ theory/quantifiers/bounded_integers.h \ theory/quantifiers/bounded_integers.cpp \ - theory/quantifiers/first_order_reasoning.h \ - theory/quantifiers/first_order_reasoning.cpp \ + theory/quantifiers/alpha_equivalence.h \ + theory/quantifiers/alpha_equivalence.cpp \ theory/quantifiers/rewrite_engine.h \ theory/quantifiers/rewrite_engine.cpp \ theory/quantifiers/relevant_domain.h \ |