X-Git-Url: https://scm.cri.ensmp.fr/git/Faustine.git/blobdiff_plain/adf24ec25c76cc5eaa5aa319eaa2df1405312f9e..f3caf3d551b4ba1cd98d55678f0fd8085522669f:/interpreter/types.ml

diff --git a/interpreter/types.ml b/interpreter/types.ml
index 7024eeb..585b0ed 100644
--- a/interpreter/types.ml
+++ b/interpreter/types.ml
@@ -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
+      method write : rate_type array -> data -> string * string -> string array
     end;;