Commit a9d0aefc authored by Andrei Paskevich's avatar Andrei Paskevich

trywhy3: avoid infinite loops

parent e50ea1fa
......@@ -223,7 +223,7 @@ module Editor =
let why3_loc_to_range buffer loc =
let goto_line lstop =
let rec loop lcur i =
if lcur == lstop then i
if lcur >= lstop then i
else
let c = get_char buffer i in
loop (if c == 0 then lcur+1 else lcur) (i+1)
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment