diff options
Diffstat (limited to 'parsing/syntaxerr.mli')
| -rw-r--r-- | parsing/syntaxerr.mli | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/parsing/syntaxerr.mli b/parsing/syntaxerr.mli index 0bacb0f95..1aec26ed5 100644 --- a/parsing/syntaxerr.mli +++ b/parsing/syntaxerr.mli @@ -26,5 +26,6 @@ exception Error of error exception Escape_error val report_error: formatter -> error -> unit + (* Deprecated. Use Location.{error_of_exn, report_error}. *) val location_of_error: error -> Location.t |