diff options
Diffstat (limited to 'otherlibs/labltk/browser/jg_completion.ml')
| -rw-r--r-- | otherlibs/labltk/browser/jg_completion.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/otherlibs/labltk/browser/jg_completion.ml b/otherlibs/labltk/browser/jg_completion.ml index 9217fcf45..1bdedede5 100644 --- a/otherlibs/labltk/browser/jg_completion.ml +++ b/otherlibs/labltk/browser/jg_completion.ml @@ -23,7 +23,7 @@ class completion ?nocase texts = object val mutable current = 0 method add c = prefix <- prefix ^ c; - while current < List.length texts - 1 & + while current < List.length texts - 1 && lt_string (List.nth texts current) prefix ?nocase do current <- current + 1 |