Bug fix

diff --git a/src/AST/set.cc b/src/AST/set.cc
index bd1b3d6e431f013a32ce4bc43123c22bcb68c775..d3801f8d498eb98e3a55440a4ac7faf243a195f3 100644 (file)
--- 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) {
                        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) {
                                        return false;
                        } else if (element > val) {

-                               low=middle;
-                               if (middle==high)
+                               low=middle+1;
+                               if (middle>=high)

                                        return false;
                        } else {
                                return true;
                                        return false;
                        } else {
                                return true;