diff options
Diffstat (limited to 'src/theory/arith/Makefile.am')
| -rw-r--r-- | src/theory/arith/Makefile.am | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/src/theory/arith/Makefile.am b/src/theory/arith/Makefile.am index b71f07852..b2d1b9f09 100644 --- a/src/theory/arith/Makefile.am +++ b/src/theory/arith/Makefile.am @@ -43,9 +43,7 @@ libarith_la_SOURCES = \ arith_unate_lemma_mode.h \ arith_unate_lemma_mode.cpp \ arith_propagation_mode.h \ - arith_propagation_mode.cpp \ - theory_arith_instantiator.h \ - theory_arith_instantiator.cpp + arith_propagation_mode.cpp EXTRA_DIST = \ kinds \ |