* New implementation of localized exceptions

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

diff --git a/helm/ocaml/cic_notation/test_parser.ml b/helm/ocaml/cic_notation/test_parser.ml
index b3685232e8e96e3a898e6a361bc9dd940cb63601..0dc914156056bf7088234d5cf2d8a5c5c665fc2a 100644 (file)
--- a/helm/ocaml/cic_notation/test_parser.ml
+++ b/helm/ocaml/cic_notation/test_parser.ml
@@ -67,7 +67,7 @@ let process_stream istream =
         try
           let statement = GrafiteParser.parse_statement istream in
           let floc = extract_loc statement in
-          let (_, y) = P.loc_of_floc floc in
+          let (_, y) = HExtlib.loc_of_floc floc in
           char_count := y + !char_count;
           match statement with
 (*           | G.Executable (_, G.Macro (_, G.Check (_,
@@ -134,8 +134,8 @@ let process_stream istream =
           | _ -> prerr_endline "Unsupported statement"
         with
         | End_of_file -> raise End_of_file
-        | CicNotationParser.Parse_error (floc, msg) ->
-            let (x, y) = P.loc_of_floc floc in
+        | HExtlib.Localized (floc,CicNotationParser.Parse_error msg) ->
+            let (x, y) = HExtlib.loc_of_floc floc in
 (*             let before = String.sub line 0 x in
             let error = String.sub line x (y - x) in
             let after = String.sub line y (String.length line - y) in