From 0776b808b14e62833b3eac1c30c8ac8cc7e62c20 Mon Sep 17 00:00:00 2001
From: Dietrich <dgeisler50@gmail.com>
Date: Mon, 20 Apr 2015 03:44:03 -0600
Subject: added float tipe to AbsyExpr and IntervalDomain.  The methods added
 may require later modification

---
 Source/Core/Parser.cs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Source/Core/Parser.cs')

diff --git a/Source/Core/Parser.cs b/Source/Core/Parser.cs
index 4bf11e53..696a72ed 100644
--- a/Source/Core/Parser.cs
+++ b/Source/Core/Parser.cs
@@ -665,7 +665,7 @@ private class BvBounds : Expr {
 		} else if (la.kind == 15) {
 			Get();
    ty = new BasicType(t, SimpleType.Real);
-  } else if (la.kind == 112837) {
+  } else if (la.kind == 135) {
    Get();
    ty = new BasicType(t, SimpleType.Float);
   } else if (la.kind == 16) {
-- 
cgit v1.2.3