From 28a20e6eba2919e008f70874b4c12a3ce7ad049c Mon Sep 17 00:00:00 2001
From: Checkmate50 <dgeisler50@gmail.com>
Date: Thu, 17 Sep 2015 03:14:27 -0600
Subject: Added initial support for float addition

---
 Source/Core/Parser.cs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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

diff --git a/Source/Core/Parser.cs b/Source/Core/Parser.cs
index 2550c334..889d7be8 100644
--- a/Source/Core/Parser.cs
+++ b/Source/Core/Parser.cs
@@ -678,7 +678,7 @@ private class BvBounds : Expr {
      Expect(10);
    }
    else
-    ty = new FloatType(t, 8, 23);
+    ty = new FloatType(t, 8, 24);
   } else if (la.kind == 16) {
 			Get();
 			ty = new BasicType(t, SimpleType.Bool); 
@@ -1914,7 +1914,7 @@ out List<Variable>/*!*/ ins, out List<Variable>/*!*/ outs, out QKeyValue kv) {
    catch (FormatException)
    {
      this.SemErr("incorrectly formatted floating point");
-     n = BigFloat.ZERO(8, 23);
+     n = BigFloat.ZERO(8, 24);
    }
  }
 
-- 
cgit v1.2.3