File planets-0.1.13-bytes.patch of Package planets

diff -ur planets-0.1.13.old/options.ml planets-0.1.13/options.ml
--- planets-0.1.13.old/options.ml	2019-04-01 09:06:40.965599836 +0100
+++ planets-0.1.13/options.ml	2019-04-01 09:07:15.128743881 +0100
@@ -16,11 +16,11 @@
   Char.chr ((Char.code 'a') + rand)
 
 let random_name length = 
-  let str = String.create length in
+  let str = Bytes.create length in
   for i = 0 to length -1 do
     str.[i] <-  random_chr ()
   done;
-  str
+  Bytes.to_string str
 
 module StringMap = AugMap.Make(
   struct 
openSUSE Build Service is sponsored by