From 54b2aac34e418108265dd43a956a7865c50b9cf4 Mon Sep 17 00:00:00 2001
From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Sat, 4 Oct 2014 14:23:06 -0400
Subject: Enable some old bug testcases that (maybe?) never got added.

---
 test/regress/regress0/arrays/Makefile.am | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'test/regress/regress0/arrays')

diff --git a/test/regress/regress0/arrays/Makefile.am b/test/regress/regress0/arrays/Makefile.am
index 8af912395..067ecc08f 100644
--- a/test/regress/regress0/arrays/Makefile.am
+++ b/test/regress/regress0/arrays/Makefile.am
@@ -40,6 +40,8 @@ TESTS =	\
 	swap_t1_np_nf_ai_00005_007.cvc.smt \
 	x2.smt \
 	x3.smt \
+	bug272.smt \
+	bug272.minimized.smt \
 	constarr.smt2 \
 	constarr2.smt2 \
 	constarr3.smt2 \
@@ -47,9 +49,7 @@ TESTS =	\
 	constarr2.cvc \
 	constarr3.cvc
 
-EXTRA_DIST = $(TESTS) \
-	bug272.smt \
-	bug272.minimized.smt
+EXTRA_DIST = $(TESTS)
 
 #if CVC4_BUILD_PROFILE_COMPETITION
 #else
-- 
cgit v1.2.3