diff options
author | ajreynol <andrew.j.reynolds@gmail.com> | 2015-02-13 14:59:42 +0100 |
---|---|---|
committer | ajreynol <andrew.j.reynolds@gmail.com> | 2015-02-13 14:59:42 +0100 |
commit | ea970ad8f995bb58303a1a594a39e1cc9bfc8d79 (patch) | |
tree | e42fec87e6d3cba51e85ab8aeef4012e95f3006b /src/util/Makefile.am | |
parent | 82fbac8829cbc41927216b36ab064b50e50b2fa0 (diff) |
Minor cleanup, remove unused files.
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 \ |