diff options
Diffstat (limited to 'src/util/Makefile.am')
-rw-r--r-- | src/util/Makefile.am | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/src/util/Makefile.am b/src/util/Makefile.am index df787d049..59591dc3b 100644 --- a/src/util/Makefile.am +++ b/src/util/Makefile.am @@ -60,7 +60,6 @@ libutil_la_SOURCES = \ channel.h \ language.cpp \ ntuple.h \ - recursion_breaker.h \ subrange_bound.h \ dump.h \ dump.cpp \ @@ -70,8 +69,6 @@ libutil_la_SOURCES = \ cardinality.cpp \ cache.h \ utility.h \ - trans_closure.h \ - trans_closure.cpp \ boolean_simplification.h \ boolean_simplification.cpp \ ite_removal.h \ |