X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Falgorithm.c;h=ba4413da749f743070a0cddd21a16af32d6fcf3e;hb=2ed139f9baf695edf0300f272a31d3ef98038521;hp=66be93d6b01a0c673ccec491164e53233df6cdb7;hpb=57fab3df7dee0c6d5b49eabfcdb8bb548b15c35b;p=pspp

diff --git a/src/algorithm.c b/src/algorithm.c
index 66be93d6b0..ba4413da74 100644
--- a/src/algorithm.c
+++ b/src/algorithm.c
@@ -346,7 +346,7 @@ binary_search (const void *array, size_t count, size_t size,
       int low = 0;
       int high = count - 1;
 
-      while (low < high) 
+      while (low <= high) 
         {
           int middle = (low + high) / 2;
           const unsigned char *element = first + middle * size;