From c143281522a76a0fae3bb4167feca75e5aef326a Mon Sep 17 00:00:00 2001
From: Tianyi Liang <tianyi-liang@uiowa.edu>
Date: Fri, 25 Jul 2014 13:43:44 -0500
Subject: patch for regular expression intersection caching

---
 test/regress/regress0/strings/Makefile.am | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'test/regress/regress0')

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
 
-- 
cgit v1.2.3