From 4d939c07a34f440f87be91a8882fda13a31bfaab Mon Sep 17 00:00:00 2001
From: Ken McMillan <kenmcmil@microsoft.com>
Date: Thu, 27 Jun 2013 11:28:38 -0700
Subject: [PATCH] fixed bug in range computation

---
 src/interp/iz3scopes.h | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/src/interp/iz3scopes.h b/src/interp/iz3scopes.h
index 6e2261d0c..54cf89aba 100755
--- a/src/interp/iz3scopes.h
+++ b/src/interp/iz3scopes.h
@@ -98,8 +98,13 @@ class scopes {
   }
 
   void range_add(int i, range &n){
+#if 0
 	if(i < n.lo) n.lo = i;
     if(i > n.hi) n.hi = i;
+#else
+    range rng; rng.lo = i; rng.hi = i;
+    n = range_lub(rng,n);
+#endif
   }
 
   /** Choose an element of rng1 that is near to rng2 */