chore: 💚 fix CI failed for ocaml 4.13

proof-ninja · Jun 27, 2024 · 81f7446 · 81f7446
1 parent 4c5042d
commit 81f7446
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/lib/common.ml b/lib/common.ml
@@ -59,6 +59,8 @@ module Seq = struct
     if n < 0 then invalid_arg "Seq.take";
     take_aux n xs
 
+  let rec ints i = fun () -> Cons (i, ints (succ i))
+
   let range a b = take (b - a + 1) (ints a)
   let (--) a b = range a b