update in binaries for λδ

[helm.git] / matita / matita / contribs / lambdadelta / bin / roles / webLWS.mli

diff --git a/matita/matita/contribs/lambdadelta/bin/roles/webLWS.mli b/matita/matita/contribs/lambdadelta/bin/roles/webLWS.mli
index 7601610b067c4be6929a485eedfb10c04c55002a..5cd3af578aab3c404220c016ba851151c7821c0f 100644 (file)
--- a/matita/matita/contribs/lambdadelta/bin/roles/webLWS.mli
+++ b/matita/matita/contribs/lambdadelta/bin/roles/webLWS.mli
@@ -21,6 +21,6 @@ val string_of_request: string -> request -> string
 
 val control_input: string -> unit
 
-val open_out_html: string -> string -> string -> string -> string -> unit
+val open_out_html: string -> string -> string -> string -> string -> string -> unit
 
 val close_out_html: unit -> unit