From f3f704edfb2cd1021d811050c72694767710217f Mon Sep 17 00:00:00 2001
From: Checkmate50 <dgeisler50@gmail.com>
Date: Tue, 19 Jul 2016 11:14:41 -0600
Subject: Added and briefly tested the updated syntax.  NaN/oo not supported
 yet

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

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

diff --git a/Source/Core/AbsyType.cs b/Source/Core/AbsyType.cs
index 08cf37cc..ab6ef5e9 100644
--- a/Source/Core/AbsyType.cs
+++ b/Source/Core/AbsyType.cs
@@ -386,12 +386,12 @@ namespace Microsoft.Boogie {
       }
     }
 
-    static public FloatType GetFloatType(int exp, int man) {
+    static public FloatType GetFloatType(int sig, int exp) {
       Contract.Requires(0 <= exp);
-      Contract.Requires(0 <= man);
+      Contract.Requires(0 <= sig);
       Contract.Ensures(Contract.Result<FloatType>() != null);
 
-      return new FloatType(exp, man);
+      return new FloatType(sig, exp);
     }
 
     //------------ Match formal argument types on actual argument types
@@ -1094,7 +1094,7 @@ namespace Microsoft.Boogie {
     public override string ToString()
     {
       Contract.Ensures(Contract.Result<string>() != null);
-      return "float (" + Exponent + " " + Significand + ")";
+      return "float" + Significand + "e" + Exponent;
     }
 
     //-----------  Equality  ----------------------------------
-- 
cgit v1.2.3