fix

2025-12-27 11:31:19 +00:00 · 2025-12-27 11:31:19 +00:00 · fb6b659308
commit fb6b659308
parent 393b73cba5
1 changed files with 2 additions and 1 deletions
--- a/dm5/lib/lib.ml
+++ b/dm5/lib/lib.ml
@ -42,7 +42,8 @@ let bitonique t =
        grows := false)
    else
      if t.(!i) < t.(!i+1) then
-        res := false
+        res := false;
+    i := !i + 1
  done;
  !res
 ;;