diff options
Diffstat (limited to 'src/theory/arith/Makefile.am')
-rw-r--r-- | src/theory/arith/Makefile.am | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/theory/arith/Makefile.am b/src/theory/arith/Makefile.am index 48be16f90..2c00f5d4d 100644 --- a/src/theory/arith/Makefile.am +++ b/src/theory/arith/Makefile.am @@ -9,10 +9,11 @@ libarith_la_SOURCES = \ theory_arith_type_rules.h \ arith_rewriter.h \ arith_rewriter.cpp \ + arith_static_learner.h \ + arith_static_learner.cpp \ normal_form.h\ normal_form.cpp \ arith_utilities.h \ - arith_constants.h \ delta_rational.h \ delta_rational.cpp \ partial_model.h \ |