From ec825541cc2144deff830800b795190a82088445 Mon Sep 17 00:00:00 2001
From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Sat, 12 Jul 2014 21:09:35 -0400
Subject: [PATCH] Status for new bug testcase.

---
 test/regress/regress0/boolean-terms-bug-array.smt2 | 1 +
 1 file changed, 1 insertion(+)

diff --git a/test/regress/regress0/boolean-terms-bug-array.smt2 b/test/regress/regress0/boolean-terms-bug-array.smt2
index 781a19ff5..1183487f9 100644
--- a/test/regress/regress0/boolean-terms-bug-array.smt2
+++ b/test/regress/regress0/boolean-terms-bug-array.smt2
@@ -1,4 +1,5 @@
 (set-logic AUFLIRA)
+(set-info :status sat)
 
 (declare-fun f ((Array Int Bool)) Bool)
 (declare-fun y () (Array Int Bool))
-- 
2.30.2