diff options
Diffstat (limited to 'src/theory/uf/Makefile.am')
-rw-r--r-- | src/theory/uf/Makefile.am | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/src/theory/uf/Makefile.am b/src/theory/uf/Makefile.am index e027f8909..82129c72b 100644 --- a/src/theory/uf/Makefile.am +++ b/src/theory/uf/Makefile.am @@ -15,12 +15,8 @@ libuf_la_SOURCES = \ equality_engine.cpp \ symmetry_breaker.h \ symmetry_breaker.cpp \ - theory_uf_instantiator.h \ - theory_uf_instantiator.cpp \ theory_uf_strong_solver.h \ theory_uf_strong_solver.cpp \ - inst_strategy.h \ - inst_strategy.cpp \ theory_uf_model.h \ theory_uf_model.cpp |