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

Removed [default_message] from the API of the module Interpret.

parent 23545a8a
......@@ -17,12 +17,6 @@
val run: unit -> unit
(* This default error message is produced by [--list-errors] when it creates a
[.messages] file, and is recognized by [--compare-errors] when it compares
two such files. *)
val default_message: string
(* [print_messages_item] displays one data item. The item is of the form [nt,
sentence, target], which means that beginning at the start symbol [nt], the
sentence [sentence] ends in an error in the target state given by [target].
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