From 0f0f135f98372e32dafb0e70aa918f92b57ae8c7 Mon Sep 17 00:00:00 2001
From: Kshitij Bansal <kshitij@cs.nyu.edu>
Date: Wed, 13 Jun 2012 18:24:30 +0000
Subject: [PATCH] add passing regression

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

diff --git a/test/regress/regress0/decision/Makefile.am b/test/regress/regress0/decision/Makefile.am
index cce48c5a4..54273603e 100644
--- a/test/regress/regress0/decision/Makefile.am
+++ b/test/regress/regress0/decision/Makefile.am
@@ -18,12 +18,12 @@ TESTS =	\
 	quant-Arrays_Q1-noinfer.smt2 \
 	uflia-error0.smt2 \
 	uflia-xs-09-16-3-4-1-5.smt \
+	uflia-xs-09-16-3-4-1-5.delta03.smt \
 	bug347.smt
 
 # Incorrect answers:
-#	aufbv-fuzz01.smt \
 #	quant-symmetric_unsat_7.smt2 \
-#	uflia-xs-09-16-3-4-1-5.delta03.smt \
+#	aufbv-fuzz01.smt \
 #
 
 EXTRA_DIST = $(TESTS)
-- 
2.30.2