X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fgetter%2Fhttp_getter_wget.ml;h=c900fc2d9ae10b03a9093c7e21a2c6fbcea562fc;hb=920c783cf31c2e7d227f0a38f158469680937d61;hp=0f44f07d590c083fa183dc969cf356175517a7aa;hpb=5e45ecb0350d044b741db6d07397bd9840afd1be;p=helm.git

diff --git a/matita/components/getter/http_getter_wget.ml b/matita/components/getter/http_getter_wget.ml
index 0f44f07d5..c900fc2d9 100644
--- a/matita/components/getter/http_getter_wget.ml
+++ b/matita/components/getter/http_getter_wget.ml
@@ -51,7 +51,7 @@ let get_and_save_to_tmp url =
   let flat_string s s' c =
     let cs = Bytes.of_string s in
     for i = 0 to (String.length s) - 1 do
-      if String.contains s' s.[i] then cs.[i] <- c
+      if String.contains s' s.[i] then Bytes.set cs i c
     done;
     Bytes.to_string cs
   in