X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fng_extraction%2Fcoq.ml;h=6a8fc4c4b0a34593dbc243c261397588de6369a7;hb=8a5c30a914d7ff665218b31853c6fb4bcf58aa08;hp=7e0ff35c66b120ca3116c66f13cf1f1f6a215c27;hpb=d7aca3eacb4bd8dc56223098f92e5370c82f92ff;p=helm.git

diff --git a/matita/components/ng_extraction/coq.ml b/matita/components/ng_extraction/coq.ml
index 7e0ff35c6..6a8fc4c4b 100644
--- a/matita/components/ng_extraction/coq.ml
+++ b/matita/components/ng_extraction/coq.ml
@@ -60,14 +60,14 @@ let lift_subscript id =
       else begin
         let newid = Bytes.of_string id in
         Bytes.fill newid (carrypos+1) (len-1-carrypos) '0';
-        newid.[carrypos] <- Char.chr (Char.code c + 1);
+        Bytes.set newid  carrypos (Char.chr (Char.code c + 1));
         Bytes.to_string newid
       end
     else begin
       let newid = Bytes.of_string (id^"0") in
       if carrypos < len-1 then begin
         Bytes.fill newid (carrypos+1) (len-1-carrypos) '0';
-        newid.[carrypos+1] <- '1'
+        Bytes.set newid (carrypos+1) '1'
       end;
       Bytes.to_string newid
     end