summaryrefslogtreecommitdiffstats
path: root/parsing/syntaxerr.mli
diff options
context:
space:
mode:
authorAlain Frisch <alain@frisch.fr>2013-09-17 09:30:41 +0000
committerAlain Frisch <alain@frisch.fr>2013-09-17 09:30:41 +0000
commit2691cf50429e19d0edb8adbd73e16b4295791a0e (patch)
tree4649c2c01c802298de7309ddcd421c160acf83ae /parsing/syntaxerr.mli
parentd9a035fa65dcbf4ab11207556dedb5785c16659b (diff)
parentb92a3ca792b754b10d6c0b307d4167bcb7ed632f (diff)
Integrate exception_registration banch.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14152 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'parsing/syntaxerr.mli')
-rw-r--r--parsing/syntaxerr.mli1
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