From e909abcaf122e7c426d2b078728679f43a8ca442 Mon Sep 17 00:00:00 2001
From: "Christopher L. Conway" <christopherleeconway@gmail.com>
Date: Thu, 6 May 2010 20:07:51 +0000
Subject: Implementing Rational::fromDecimal and adding support for real
 constants in SMT parsers

---
 test/unit/parser/parser_black.h | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'test')

diff --git a/test/unit/parser/parser_black.h b/test/unit/parser/parser_black.h
index b8060086f..da636353e 100644
--- a/test/unit/parser/parser_black.h
+++ b/test/unit/parser/parser_black.h
@@ -173,8 +173,8 @@ const string goodSmt2Exprs[] = {
     "(= (xor a b) (and (or a b) (not (and a b))))",
     "(ite a (f x) y)",
     "1",
-    "0"// ,
-//    "1.5"
+    "0",
+    "1.5"
 };
 
 const int numGoodSmt2Exprs = sizeof(goodSmt2Exprs) / sizeof(string);
-- 
cgit v1.2.3