X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic_notation%2Ftest_parser.ml;h=0dc914156056bf7088234d5cf2d8a5c5c665fc2a;hb=d579fcbe53997bcf8cc617341cd1da5e6d094c13;hp=b3685232e8e96e3a898e6a361bc9dd940cb63601;hpb=71adb7c2f7f84e6bfe523cf066a65cc14cc9217b;p=helm.git

diff --git a/helm/ocaml/cic_notation/test_parser.ml b/helm/ocaml/cic_notation/test_parser.ml
index b3685232e..0dc914156 100644
--- 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