Reverting this file to not include any comments. (Morgan's revision and my revision...

diff --git a/test/regress/regress0/ite2.smt2 b/test/regress/regress0/ite2.smt2
index 9bcac2ec84956d5472a24ba400ff3807f2bd5fa1..ada94531d3d1e1d5e2861d8d6c4a1eeef8378d1a 100644 (file)
--- 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)