diff options
Diffstat (limited to 'src/theory/arith/Makefile.am')
-rw-r--r-- | src/theory/arith/Makefile.am | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/theory/arith/Makefile.am b/src/theory/arith/Makefile.am index c5534560b..7f193b9e3 100644 --- a/src/theory/arith/Makefile.am +++ b/src/theory/arith/Makefile.am @@ -14,6 +14,8 @@ libarith_la_SOURCES = \ arith_prop_manager.h \ arith_prop_manager.cpp \ arithvar_node_map.h \ + atom_database.h \ + atom_database.cpp \ normal_form.h\ normal_form.cpp \ arith_utilities.h \ @@ -29,8 +31,6 @@ libarith_la_SOURCES = \ arith_priority_queue.cpp \ simplex.h \ simplex.cpp \ - unate_propagator.h \ - unate_propagator.cpp \ theory_arith.h \ theory_arith.cpp |