Use of standard OCaml syntax

[helm.git] / matita / components / ng_extraction / coq.ml

diff --git a/matita/components/ng_extraction/coq.ml b/matita/components/ng_extraction/coq.ml
index 7e0ff35c66b120ca3116c66f13cf1f1f6a215c27..6a8fc4c4b0a34593dbc243c261397588de6369a7 100644 (file)
--- 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