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

Let Interpret depend on StackSymbols instead of Invariant.

parent 16dc78d0
......@@ -271,7 +271,7 @@ let print_messages_auto (nt, sentence, otarget) : unit =
"## The known suffix of the stack is as follows:\n\
##%s\n\
##\n"
(Invariant.print (Invariant.stack s'))
(StackSymbols.print_stack_symbols s')
;
if spurious <> [] then begin
Printf.printf
......
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