From d2043244bb8413062382c4a782a97572560823ae Mon Sep 17 00:00:00 2001
From: Tim King <taking@cs.nyu.edu>
Date: Thu, 27 May 2010 20:57:24 +0000
Subject: [PATCH] Reverting this file to not include any comments. (Morgan's
 revision and my revision were in conflict.)

---
 test/regress/regress0/ite2.smt2 | 4 ----
 1 file changed, 4 deletions(-)

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)
-- 
2.30.2