X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fcontent_pres%2Ftest_lexer.ml;h=e76756e0f3d352c63421f8d021ddc8bdb6a14b24;hb=488f49d2ac60fa63e65a19ad8684414266e05ac6;hp=393017a443416d9086949863f068a88ef11e69a6;hpb=26d1329328f6829985cf2d6f1d67162bb773962a;p=helm.git

diff --git a/helm/software/components/content_pres/test_lexer.ml b/helm/software/components/content_pres/test_lexer.ml
index 393017a44..e76756e0f 100644
--- a/helm/software/components/content_pres/test_lexer.ml
+++ b/helm/software/components/content_pres/test_lexer.ml
@@ -53,7 +53,7 @@ let _ =
     if a = "EOI" then raise Stream.Failure;
     let pos = loc_func !tok_count in
     print_endline (Printf.sprintf "%s '%s' (@ %d-%d)" a b
-      (Ploc.first_pos pos) (Ploc.last_pos pos));
+      (Stdpp.first_pos pos) (Stdpp.last_pos pos));
     incr tok_count;
     dump ()
   in