From 52aa9b8f63a3d955031e7a0dfd6e575ca7cf76b3 Mon Sep 17 00:00:00 2001
From: Dietrich <dgeisler50@gmail.com>
Date: Mon, 13 Jul 2015 19:40:09 -0600
Subject: Modified internal abstract float representation to allow user-defined
 mantissa and exponent

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

(limited to 'Source/VCExpr/TypeErasure.cs')

diff --git a/Source/VCExpr/TypeErasure.cs b/Source/VCExpr/TypeErasure.cs
index 4632b1e4..5e821ea2 100644
--- a/Source/VCExpr/TypeErasure.cs
+++ b/Source/VCExpr/TypeErasure.cs
@@ -1424,13 +1424,13 @@ namespace Microsoft.Boogie.TypeErasure {
       Contract.Ensures(Contract.Result<VCExpr>() != null);
       return CastArguments(node, Type.Real, bindings, 0);
     }
-    public override VCExpr VisitFloatDivOp(VCExprNAry node, VariableBindings bindings)
+    /*public override VCExpr VisitFloatDivOp(VCExprNAry node, VariableBindings bindings)
     {
       Contract.Requires((bindings != null));
       Contract.Requires((node != null));
       Contract.Ensures(Contract.Result<VCExpr>() != null);
       return CastArguments(node, Type.Float, bindings, 0);
-    }
+    }*/
     public override VCExpr VisitPowOp(VCExprNAry node, VariableBindings bindings) {
       Contract.Requires((bindings != null));
       Contract.Requires((node != null));
-- 
cgit v1.2.3