Commit 7ffc6d5a authored by POTTIER Francois's avatar POTTIER Francois

One use of [Misc.iterij].

parent 67fb6ca7
......@@ -775,9 +775,7 @@ module Production = struct
let iternt nt f =
let k, k' = ntprods.(nt) in
for prod = k to k' - 1 do
f prod
done
Misc.iterij k k' f
let foldnt (nt : Nonterminal.t) (accu : 'a) (f : index -> 'a -> 'a) : 'a =
let k, k' = ntprods.(nt) 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