From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Tue, 27 Nov 2007 16:56:54 +0000 (+0000)
Subject: Back-ported to camlp5 < 5.00.
X-Git-Tag: make_still_working~5758
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=488f49d2ac60fa63e65a19ad8684414266e05ac6;p=helm.git

Back-ported to camlp5 < 5.00.
---

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