add exit status to regression that was failing

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