From d6b37239a2e525e7878d3bb0b4372a8dabc340a9 Mon Sep 17 00:00:00 2001
From: Morgan Deters <mdeters@gmail.com>
Date: Sun, 10 Oct 2010 22:15:38 +0000
Subject: additional model gen and SMT-LIBv2 compliance work: (get-assignment)
 now supported; work on Result type (biggest noticeable change is that CVC4
 now outputs lowercase "sat" and "unsat"), Options class moved to src/smt, to
 allow for future work on runtime configuration via (set-option) command

---
 test/regress/regress2/hole9.cvc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'test/regress/regress2')

diff --git a/test/regress/regress2/hole9.cvc b/test/regress/regress2/hole9.cvc
index e631444d3..e9bd543ef 100644
--- a/test/regress/regress2/hole9.cvc
+++ b/test/regress/regress2/hole9.cvc
@@ -1,4 +1,4 @@
-% EXPECT: VALID
+% EXPECT: valid
 x_1 : BOOLEAN;
 x_2 : BOOLEAN;
 x_3 : BOOLEAN;
-- 
cgit v1.2.3