diff options
Diffstat (limited to 'src/theory/arith/Makefile.am')
-rw-r--r-- | src/theory/arith/Makefile.am | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/src/theory/arith/Makefile.am b/src/theory/arith/Makefile.am index e500f5cf8..ead39082c 100644 --- a/src/theory/arith/Makefile.am +++ b/src/theory/arith/Makefile.am @@ -7,8 +7,10 @@ noinst_LTLIBRARIES = libarith.la libarith_la_SOURCES = \ theory_arith_type_rules.h \ - arith_rewriter.h \ - arith_rewriter.cpp \ + next_arith_rewriter.h \ + next_arith_rewriter.cpp \ + normal_form.h\ + normal_form.cpp \ arith_utilities.h \ arith_constants.h \ arith_activity.h \ |