From 2dbe1f150d30f0fb0c8522f891104270ce09db4c Mon Sep 17 00:00:00 2001
From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Fri, 22 Aug 2014 16:59:28 -0400
Subject: Unsat core infrastruture and API (SMT-LIB compliance to come).

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

(limited to 'test/regress/regress0/Makefile.am')

diff --git a/test/regress/regress0/Makefile.am b/test/regress/regress0/Makefile.am
index 5e57e9b67..86fc8fdff 100644
--- a/test/regress/regress0/Makefile.am
+++ b/test/regress/regress0/Makefile.am
@@ -105,7 +105,6 @@ CVC_TESTS = \
 	wiki.19.cvc \
 	wiki.20.cvc \
 	wiki.21.cvc \
-	simplification_bug3.cvc \
 	queries0.cvc \
 	print_lambda.cvc
 
-- 
cgit v1.2.3