diff options
Diffstat (limited to 'parsing/parse.mli')
| -rw-r--r-- | parsing/parse.mli | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/parsing/parse.mli b/parsing/parse.mli index ddd58daa1..2becb1271 100644 --- a/parsing/parse.mli +++ b/parsing/parse.mli @@ -18,4 +18,3 @@ val interface : Lexing.lexbuf -> Parsetree.signature val toplevel_phrase : Lexing.lexbuf -> Parsetree.toplevel_phrase val use_file : Lexing.lexbuf -> Parsetree.toplevel_phrase list -exception Error of int * int (* Syntax error *) |