diff options
Diffstat (limited to 'toplevel/vernac.mli')
| -rw-r--r-- | toplevel/vernac.mli | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/toplevel/vernac.mli b/toplevel/vernac.mli index ad89461f2..5d53dab2a 100644 --- a/toplevel/vernac.mli +++ b/toplevel/vernac.mli @@ -13,18 +13,18 @@ (* Like [Exc_located], but specifies the outermost file read, the input buffer associated to the location of the error, and the error itself. *) -exception Error_in_file of string * (string * Coqast.loc) * exn +exception Error_in_file of string * (string * Util.loc) * exn (* Read a vernac command on the specified input (parse only). Raises [End_of_file] if EOF (or Ctrl-D) is reached. *) val parse_phrase : Pcoq.Gram.parsable * in_channel option -> - Coqast.loc * Vernacexpr.vernac_expr + Util.loc * Vernacexpr.vernac_expr (* Reads and executes vernac commands from a stream. The boolean [just_parsing] disables interpretation of commands. *) -exception DuringCommandInterp of Coqast.loc * exn +exception DuringCommandInterp of Util.loc * exn exception End_of_input val just_parsing : bool ref |