From d5e51ef07afd46594ba980154f5f111afda7fcd9 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Tue, 27 Nov 2007 17:07:08 +0000 Subject: [PATCH] Ported to camlp5 < 5.00 --- helm/software/matita/rottener.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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 -- 2.39.2