From 463cf1b3ec4df9dff10026a2d306de2f41c9cef9 Mon Sep 17 00:00:00 2001
From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Fri, 7 Mar 2014 15:42:29 -0500
Subject: Fix for (get-assignment), resolves bug 553.

---
 test/regress/regress0/Makefile.am | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'test/regress/regress0')

diff --git a/test/regress/regress0/Makefile.am b/test/regress/regress0/Makefile.am
index fe6b156f1..664958e5a 100644
--- a/test/regress/regress0/Makefile.am
+++ b/test/regress/regress0/Makefile.am
@@ -140,6 +140,7 @@ BUG_TESTS = \
 	bug421.smt2 \
 	bug421b.smt2 \
 	bug425.cvc \
+	bug480.smt2 \
 	bug484.smt2 \
 	bug486.cvc \
 	bug507.smt2 \
@@ -173,8 +174,7 @@ endif
 EXTRA_DIST += \
 	subranges.cvc \
 	arrayinuf_error.smt2 \
-	error.cvc \
-	bug480.smt2
+	error.cvc
 
 # synonyms for "check" in this directory
 .PHONY: regress regress0 test
-- 
cgit v1.2.3