]> matita.cs.unibo.it Git - fireball-separation.git/blobdiff - ocaml/console.ml
Make the code OCaml-4.06.1-friendly
[fireball-separation.git] / ocaml / console.ml
index 696a74d9abe151e3c873d7267e317ed6e0a7bb96..f3fbef6d497d5ab74468889e09adb91eda374095 100644 (file)
@@ -40,7 +40,7 @@ let cols =
 ;;
 
 let writeall s =
-  let _ = Unix.send socket s 0 (String.length s) [] in ()
+  let _ = Unix.send socket (Bytes.of_string s) 0 (String.length s) [] in ()
 ;;
 
 let concat ls = (String.concat sepx ls) ^ endx;;