From f36e710930366780119e3b8794e8d6e319b8b5a2 Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky@uci.edu>
Date: Wed, 20 Sep 2017 13:35:41 -0700
Subject: [PATCH 1/1] Bug fix

---
 src/AST/set.cc | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

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;
-- 
2.34.1