Commit f35d010a authored by POTTIER Francois's avatar POTTIER Francois

In --list-errors, print just the state, not its closure.

parent 705b9544
...@@ -1148,7 +1148,7 @@ let display (nt, w, s') : unit = ...@@ -1148,7 +1148,7 @@ let display (nt, w, s') : unit =
(W.print w) (W.print w)
(W.length w) (W.length w)
(Lr1.number s') (Lr1.number s')
(Lr0.print_closure "# " (Lr1.state s')) (Lr0.print "# " (Lr1.state s')) (* TEMPORARY [print] or [print_closure]? *)
Interpret.default_message Interpret.default_message
(* Perform the forward search. *) (* Perform the forward search. *)
......
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