X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Frottener.ml;h=27c27766411e4177a85a68f0ad15e3146e1f0df0;hb=947ee89dec9e60561dfac3ce7e1842f35f178cb8;hp=3674d25ebac94177cc329f39f92db287e8a45f20;hpb=4de9b882bea51f8b1bde9c18fec1c58bbe7232f5;p=helm.git

diff --git a/helm/software/matita/rottener.ml b/helm/software/matita/rottener.ml
index 3674d25eb..27c277664 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
@@ -105,9 +105,10 @@ let rotten_script ~fname statement =
     with Not_found -> assert false
   in
   let trailer = (* trailing comment with machine parseable error location *)
-    let preamble_len = String.length matches.(1) in
-    sprintf "\n(*\nerror-at: %d-%d\n*)\n" (preamble_len + start_pos)
-      (preamble_len + start_pos + error_token_len) in
+    let preamble_len = Glib.Utf8.length matches.(1) in
+    sprintf "\n(*\nerror-at: %d-%d\n*)\n"
+    (preamble_len + Stdpp.first_pos target_pos)
+    (preamble_len + Stdpp.first_pos target_pos + error_token_len) in
   let script' = sprintf "%s%s%s%s" matches.(1) statement' matches.(3) trailer in
   let md5 = Digest.to_hex (Digest.string script') in
   HExtlib.output_file
@@ -154,6 +155,6 @@ let handle_localized_exns f arg =
     eprintf "Error at %d-%d: %s\n%!" loc_begin loc_end (Printexc.to_string exn)
 
 let _ =
-  Random.init 17;
+  Random.self_init ();
   handle_localized_exns grep ()