* New implementation of localized exceptions

[helm.git] / helm / ocaml / cic_notation / cicNotationParser.ml

diff --git a/helm/ocaml/cic_notation/cicNotationParser.ml b/helm/ocaml/cic_notation/cicNotationParser.ml
index 32b6b0a9068312564dcc8c65648b12892a6f4bc3..71cc2bffd6c4d1f919c77898436583ccfa3585ac 100644 (file)
--- a/helm/ocaml/cic_notation/cicNotationParser.ml
+++ b/helm/ocaml/cic_notation/cicNotationParser.ml
@@ -28,7 +28,7 @@ open Printf
 module Ast = CicNotationPt
 module Env = CicNotationEnv
 
-exception Parse_error of Token.flocation * string
+exception Parse_error of string
 exception Level_not_found of int
 
 let level1_pattern_grammar =
@@ -614,9 +614,9 @@ let exc_located_wrapper f =
     f ()
   with
   | Stdpp.Exc_located (floc, Stream.Error msg) ->
-      raise (Parse_error (floc, msg))
+      raise (HExtlib.Localized (floc, Parse_error msg))
   | Stdpp.Exc_located (floc, exn) ->
-      raise (Parse_error (floc, (Printexc.to_string exn)))
+      raise (HExtlib.Localized (floc, (Parse_error (Printexc.to_string exn))))
 
 let parse_level1_pattern lexbuf =
   exc_located_wrapper