Commit 099da35d authored by Stephane Glondu's avatar Stephane Glondu

Bugfix in fforall

parent 9e4ff654
...@@ -46,7 +46,7 @@ module Array = struct ...@@ -46,7 +46,7 @@ module Array = struct
let n = Array.length x in let n = Array.length x in
let rec loop_inner j = let rec loop_inner j =
if j >= 0 then f x.(j) && loop_inner (pred j) if j >= 0 then f x.(j) && loop_inner (pred j)
else true else loop_outer (pred i)
in loop_inner (pred n) in loop_inner (pred n)
else true else true
in in
......
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