From: bdemsky <bdemsky@uci.edu>
Date: Wed, 20 Sep 2017 20:35:41 +0000 (-0700)
Subject: Bug fix
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=f36e710930366780119e3b8794e8d6e319b8b5a2;p=satune.git

Bug fix
---

diff --git a/src/AST/set.cc b/src/AST/set.cc
index bd1b3d6..d3801f8 100644
--- a/src/AST/set.cc
+++ b/src/AST/set.cc
@@ -40,12 +40,12 @@ bool Set::exists(uint64_t element) {
 			uint middle=(low+high)/2;
 			uint64_t val=members->get(middle);
 			if (element < val) {
-				high=middle;
-				if (middle==low)
+				high=middle-1;
+				if (middle<=low)
 					return false;
 			} else if (element > val) {
-				low=middle;
-				if (middle==high)
+				low=middle+1;
+				if (middle>=high)
 					return false;
 			} else {
 				return true;