This commit merges the branch arithmetic/propagation-again into trunk.

[cvc5.git] / src / theory / arith / Makefile.am

diff --git a/src/theory/arith/Makefile.am b/src/theory/arith/Makefile.am
index 12088b4935afc00ea5e14e26eacfeec1268d6f5d..c5534560bcccf6b7ac12bbfc988a39ba431e00dc 100644 (file)
--- a/src/theory/arith/Makefile.am
+++ b/src/theory/arith/Makefile.am
@@ -11,6 +11,9 @@ libarith_la_SOURCES = \
        arith_rewriter.cpp \
        arith_static_learner.h \
        arith_static_learner.cpp \
+       arith_prop_manager.h \
+       arith_prop_manager.cpp \
+       arithvar_node_map.h \
        normal_form.h\
        normal_form.cpp \
        arith_utilities.h \