From: Claudio Sacerdoti Coen 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