X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=ocaml%2Fconsole.ml;h=f3fbef6d497d5ab74468889e09adb91eda374095;hb=dc6b7a6afe8b1fcf4f5998089ed2ef28f255da0a;hp=696a74d9abe151e3c873d7267e317ed6e0a7bb96;hpb=e4aa4a66dd0a4946607245a0f43eab803f2770c4;p=fireball-separation.git

diff --git a/ocaml/console.ml b/ocaml/console.ml
index 696a74d..f3fbef6 100644
--- a/ocaml/console.ml
+++ b/ocaml/console.ml
@@ -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;;