From 51b7e8146f413b83a412572fcc9e3a1a8b302b79 Mon Sep 17 00:00:00 2001
From: Checkmate50 <dgeisler50@gmail.com>
Date: Thu, 17 Mar 2016 13:01:10 -0600
Subject: modified floating point syntax and modified floating point constants
 to use bitvector values

---
 Source/AbsInt/IntervalDomain.cs | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'Source/AbsInt')

diff --git a/Source/AbsInt/IntervalDomain.cs b/Source/AbsInt/IntervalDomain.cs
index 0c954f9a..d5a5efc9 100644
--- a/Source/AbsInt/IntervalDomain.cs
+++ b/Source/AbsInt/IntervalDomain.cs
@@ -695,10 +695,10 @@ namespace Microsoft.Boogie.AbstractInterpretation
           Lo = floor;
           Hi = ceiling;
         } else if (node.Val is BigFloat) {
-          BigInteger floor, ceiling;
+          BigNum floor, ceiling;
           ((BigFloat)node.Val).FloorCeiling(out floor, out ceiling);
-          Lo = floor;
-          Hi = ceiling;
+          Lo = floor.ToBigInteger;
+          Hi = ceiling.ToBigInteger;
         } else if (node.Val is bool) {
           if ((bool)node.Val) {
             // true
-- 
cgit v1.2.3