From 86c78db45fad37209663bf87547a50a880760051 Mon Sep 17 00:00:00 2001
From: Checkmate50 <dgeisler50@gmail.com>
Date: Tue, 19 Jul 2016 16:39:54 -0600
Subject: fixed an issue with parsing floating points

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

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

diff --git a/Source/Core/Parser.cs b/Source/Core/Parser.cs
index a5e2921e..c91de177 100644
--- a/Source/Core/Parser.cs
+++ b/Source/Core/Parser.cs
@@ -133,7 +133,8 @@ private class BvBounds : Expr {
     Contract.Assert(false);throw new cce.UnreachableException();
   }
   public override void ComputeFreeVariables(GSet<object>/*!*/ freeVars) { Contract.Assert(false);throw new cce.UnreachableException(); }
-  public override int ComputeHashCode() {
+  public override int ComputeHashCode()
+  {
     return base.GetHashCode();
   }
 }
@@ -1866,7 +1867,7 @@ out List<Variable>/*!*/ ins, out List<Variable>/*!*/ outs, out QKeyValue kv) {
 		try {
 		 n = BigFloat.FromString(s);
 		} catch (FormatException e) {
-		 this.SemErr("incorrectly formatted floating point: " + e.Message);
+		 this.SemErr("incorrectly formatted floating point, " + e.Message);
 		 n = BigFloat.ZERO;
 		}
 		
-- 
cgit v1.2.3