diff options
Diffstat (limited to 'src/theory/arith/Makefile.am')
| -rw-r--r-- | src/theory/arith/Makefile.am | 8 |
1 files changed, 3 insertions, 5 deletions
diff --git a/src/theory/arith/Makefile.am b/src/theory/arith/Makefile.am index 4cff4a782..b97a6f384 100644 --- a/src/theory/arith/Makefile.am +++ b/src/theory/arith/Makefile.am @@ -12,11 +12,10 @@ 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 \ - atom_database.h \ - atom_database.cpp \ + constraint_forward.h \ + constraint.h \ + constraint.cpp \ difference_manager.h \ difference_manager.cpp \ normal_form.h\ @@ -28,7 +27,6 @@ libarith_la_SOURCES = \ partial_model.cpp \ linear_equality.h \ linear_equality.cpp \ - ordered_set.h \ arithvar_set.h \ tableau.h \ tableau.cpp \ |