From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Tue, 27 Nov 2007 17:07:08 +0000 (+0000)
Subject: Ported to camlp5 < 5.00
X-Git-Tag: make_still_working~5757
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=d5e51ef07afd46594ba980154f5f111afda7fcd9;p=helm.git

Ported to camlp5 < 5.00
---

diff --git a/helm/software/matita/rottener.ml b/helm/software/matita/rottener.ml
index 3674d25eb..fa09d07d3 100644
--- a/helm/software/matita/rottener.ml
+++ b/helm/software/matita/rottener.ml
@@ -88,8 +88,8 @@ let rotten_script ~fname statement =
     List.nth idents (Random.int (List.length idents))
   in
   let start_pos, end_pos =
-    Glib.Utf8.offset_to_pos statement 0 (Ploc.first_pos target_pos),
-    Glib.Utf8.offset_to_pos statement 0 (Ploc.last_pos target_pos) in
+    Glib.Utf8.offset_to_pos statement 0 (Stdpp.first_pos target_pos),
+    Glib.Utf8.offset_to_pos statement 0 (Stdpp.last_pos target_pos) in
   let statement' =
     (* positions in bytecount *)
     String.sub statement 0 start_pos