Merge branch 'master' of https://scm.cri.ensmp.fr/git/Faustine

[Faustine.git] / interpreter / types.ml

diff --git a/interpreter/types.ml b/interpreter/types.ml
index 7024eeb..da486f2 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 write : rate_type array -> data -> string array
     end;;
       method read : string array -> beam_type
       method write : rate_type array -> data -> string array
     end;;