Bug fixed for stdin and stdout in a different platform.

[Faustine.git] / interpreter / types.ml

diff --git a/interpreter/types.ml b/interpreter/types.ml
index 7024eeb..585b0ed 100644 (file)
--- a/interpreter/types.ml
+++ b/interpreter/types.ml
@@ -253,7 +253,7 @@ class type process_type =
 
 class type io_type = 
     object
 
 class type io_type = 
     object

-      method set : string -> string -> unit
+      method set : string -> string -> string -> unit

       method read : string array -> beam_type
       method read : string array -> beam_type

-      method write : rate_type array -> data -> string array
+      method write : rate_type array -> data -> string * string -> string array

     end;;
     end;;