From: Tim King <taking@cs.nyu.edu>
Date: Thu, 27 May 2010 20:57:24 +0000 (+0000)
Subject: Reverting this file to not include any comments. (Morgan's revision and my revision... 
X-Git-Tag: cvc5-1.0.0~9032
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=d2043244bb8413062382c4a782a97572560823ae;p=cvc5.git

Reverting this file to not include any comments. (Morgan's revision and my revision were in conflict.)
---

diff --git a/test/regress/regress0/ite2.smt2 b/test/regress/regress0/ite2.smt2
index 9bcac2ec8..ada94531d 100644
--- a/test/regress/regress0/ite2.smt2
+++ b/test/regress/regress0/ite2.smt2
@@ -1,7 +1,3 @@
-% EXPECT-ERROR: Outstanding case split in theory arith
-% EXPECT-ERROR: Outstanding case split in theory arith
-% EXPECT: SAT
-% EXIT: 10
 (set-logic QF_LRA)
 (set-info :status sat)
 (declare-fun x () Real)