X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=matita%2Fmatita%2Fcontribs%2Flambdadelta%2Fbin%2Froles%2FwebLWS.mli;h=5cd3af578aab3c404220c016ba851151c7821c0f;hp=7601610b067c4be6929a485eedfb10c04c55002a;hb=59fd7b5ea24e71b47aee069440f140bcccf1292a;hpb=456a157eba1428fd4ec02713e60ac2b653a0e0b0

diff --git a/matita/matita/contribs/lambdadelta/bin/roles/webLWS.mli b/matita/matita/contribs/lambdadelta/bin/roles/webLWS.mli
index 7601610b0..5cd3af578 100644
--- 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