diff options
| author | Tianyi Liang <tianyi-liang@uiowa.edu> | 2014-07-25 13:43:44 -0500 |
|---|---|---|
| committer | Tianyi Liang <tianyi-liang@uiowa.edu> | 2014-07-25 13:43:44 -0500 |
| commit | c143281522a76a0fae3bb4167feca75e5aef326a (patch) | |
| tree | 59fd6126a3d5f4ba9aff6f14b16b8417bdc0fb70 /test/regress | |
| parent | 4e1e7cae681ac746a79505420dc0cc1febee226c (diff) | |
patch for regular expression intersection caching
Diffstat (limited to 'test/regress')
| -rw-r--r-- | test/regress/regress0/strings/Makefile.am | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/regress/regress0/strings/Makefile.am b/test/regress/regress0/strings/Makefile.am index ddc0eae7c..233962d72 100644 --- a/test/regress/regress0/strings/Makefile.am +++ b/test/regress/regress0/strings/Makefile.am @@ -30,7 +30,6 @@ TESTS = \ str005.smt2 \ str006.smt2 \ str007.smt2 \ - fmf001.smt2 \ fmf002.smt2 \ type001.smt2 \ type003.smt2 \ @@ -53,6 +52,7 @@ TESTS = \ FAILING_TESTS = EXTRA_DIST = $(TESTS) \ + fmf001.smt2 \ regexp002.smt2 \ type002.smt2 |