From fb6b659308e7118448c3b353f5bca7b8377f1b8e Mon Sep 17 00:00:00 2001 From: Arkitu Date: Sat, 27 Dec 2025 11:31:19 +0000 Subject: [PATCH] fix --- dm5/lib/lib.ml | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/dm5/lib/lib.ml b/dm5/lib/lib.ml index 68058fd..ab23ff6 100644 --- 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 ;;