X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=ocaml%2Fconsole.ml;fp=ocaml%2Fconsole.ml;h=f3fbef6d497d5ab74468889e09adb91eda374095;hb=5664c5924f59c805c6e658698cc2fa535cab27f6;hp=696a74d9abe151e3c873d7267e317ed6e0a7bb96;hpb=f1873841a3271d332cb8429b46e7bc7e0bca2402;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;;