Commit 10ecdc84 authored by POTTIER Francois's avatar POTTIER Francois
Browse files

Typo in a comment.

parent 5b039f04
...@@ -593,7 +593,7 @@ end = struct ...@@ -593,7 +593,7 @@ end = struct
let query current z f = let query current z f =
assert (z <> any); assert (z <> any);
(* if [current] is solid then the facts that concern it are stored (* if [current] is solid then the facts that concern it are stored
under any [any], not under [z] *) under [any], not under [z] *)
let i = index current (if is_solid current then any else z) in let i = index current (if is_solid current then any else z) in
let m = table.(i) in let m = table.(i) in
M.iter f m M.iter f m
......
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