projects
/
cvc5.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
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 \