chris and i committed the same fix; reverting the (now duplicated) fix

diff --git a/test/regress/regress0/ite.cvc b/test/regress/regress0/ite.cvc
index 19989e60881f6aebf5294003fb43e8c45f57dd09..0a3e7535aa2f436b72afc19adbdfc307a40e626b 100644 (file)
--- a/test/regress/regress0/ite.cvc
+++ b/test/regress/regress0/ite.cvc
@@ -2,4 +2,3 @@
 % EXIT: 20
 x, y : REAL;
 CHECKSAT (NOT (x = IF TRUE THEN x ELSE y ENDIF));
-% EXIT: 20