]> CRI, Mines Paris - PSL - Faustine.git/blobdiff - interpreter/types.ml
Bugs fixed for stdin and stdout.
[Faustine.git] / interpreter / types.ml
index 7024eeb9d13a05364e9a68632c039037e02b5e2b..da486f2ee91a74ee5e46076959972d757b4a6604 100644 (file)
@@ -253,7 +253,7 @@ class type process_type =
 
 class type io_type = 
     object
-      method set : string -> string -> unit
+      method set : string -> string -> string -> unit
       method read : string array -> beam_type
       method write : rate_type array -> data -> string array
     end;;