diff options
Diffstat (limited to 'parsing/syntaxerr.mli')
| -rw-r--r-- | parsing/syntaxerr.mli | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/parsing/syntaxerr.mli b/parsing/syntaxerr.mli index 8526b159e..dba7f2902 100644 --- a/parsing/syntaxerr.mli +++ b/parsing/syntaxerr.mli @@ -14,6 +14,8 @@ (* Auxiliary type for reporting syntax errors *) +open Format + type error = Unclosed of Location.t * string * Location.t * string | Other of Location.t @@ -21,4 +23,4 @@ type error = exception Error of error exception Escape_error -val report_error: error -> unit +val report_error: formatter -> error -> unit |