Commit d4ee9881 authored by POTTIER Francois's avatar POTTIER Francois
Browse files


parent 40255ba2
......@@ -706,6 +706,8 @@ let consequences fact =
such symbols. Furthermore, we need the first symbol of [w.z] to
satisfy the lookahead assumption [fact.lookahead], so the answer
also depends on this assumption. *)
(* TEMPORARY it could be that the answer does not depend on [z]...
(default reduction) *)
foreach_terminal_not_causing_an_error s' (fun z ->
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