Commit 53843f7e authored by POTTIER Francois's avatar POTTIER Francois

Comment.

parent b2d35f36
......@@ -506,7 +506,9 @@ let () =
Lr1.default_conflict_resolution();
Time.tick "Resolving remaining conflicts"
(* This is a good place to add extra reductions, if requested by the user. *)
(* ------------------------------------------------------------------------ *)
(* Now is as good a time as any to add extra reductions, if requested by the
user. This must be done after conflicts have been resolved. *)
let () =
Lr1.extra_reductions();
......
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