X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=matita%2Fcomponents%2Fgetter%2Fhttp_getter_misc.ml;fp=matita%2Fcomponents%2Fgetter%2Fhttp_getter_misc.ml;h=1223af468228dc90b29dd4a6be1571c8bfdcc354;hp=fa5d780b07be470bdfc1cb729375bfea09e82568;hb=b161347767b1cb67c4f5b115e4414b85ac4b2183;hpb=86a71ccae1c961d563fb1ca2ceff3866dab4c065

diff --git a/matita/components/getter/http_getter_misc.ml b/matita/components/getter/http_getter_misc.ml
index fa5d780b0..1223af468 100644
--- a/matita/components/getter/http_getter_misc.ml
+++ b/matita/components/getter/http_getter_misc.ml
@@ -300,7 +300,7 @@ let temp_file_of_uri uri =
   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