diff options
author | Tianyi Liang <tianyi-liang@uiowa.edu> | 2013-09-27 09:24:42 -0500 |
---|---|---|
committer | Tianyi Liang <tianyi-liang@uiowa.edu> | 2013-09-27 09:25:52 -0500 |
commit | 232728df0bb2bc101862cd78c666dfa5ef4ebfe9 (patch) | |
tree | ee0c4800b4c0c71c9f1ae2670925df1dc60f75f9 /src/theory/strings/Makefile.am | |
parent | 956ecc806cc91bd52fd27c9ecc04011b630cfbc5 (diff) |
removes unsound cases, adds unrolling
Diffstat (limited to 'src/theory/strings/Makefile.am')
-rw-r--r-- | src/theory/strings/Makefile.am | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/theory/strings/Makefile.am b/src/theory/strings/Makefile.am index 15bd04b88..38efa33f3 100644 --- a/src/theory/strings/Makefile.am +++ b/src/theory/strings/Makefile.am @@ -11,7 +11,9 @@ libstrings_la_SOURCES = \ theory_strings_rewriter.h \ theory_strings_rewriter.cpp \ theory_strings_type_rules.h \ - type_enumerator.h + type_enumerator.h \ + theory_strings_preprocess.h \ + theory_strings_preprocess.cpp EXTRA_DIST = \ kinds |