From: Morgan Deters <mdeters@gmail.com>
Date: Tue, 12 Jul 2011 22:46:57 +0000 (+0000)
Subject: forgot to reflect naming change in makefile.  fixed
X-Git-Tag: cvc5-1.0.0~8494
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=41dc1b3685b9258660dab571f8f8b56deb0fb095;p=cvc5.git

forgot to reflect naming change in makefile.  fixed
---

diff --git a/test/regress/regress0/arrays/Makefile.am b/test/regress/regress0/arrays/Makefile.am
index 1eba56e33..db786040e 100644
--- a/test/regress/regress0/arrays/Makefile.am
+++ b/test/regress/regress0/arrays/Makefile.am
@@ -24,8 +24,8 @@ TESTS =	\
 	incorrect11.smt
 
 EXTRA_DIST = $(TESTS) \
-	unsound1.smt \
-	unsound1.minimized.smt
+	bug272.smt \
+	bug272.minimized.smt
 
 #if CVC4_BUILD_PROFILE_COMPETITION
 #else