Remote protocol working.

[wrappi.git] / generator / wrappi_boilerplate.mli

diff --git a/generator/wrappi_boilerplate.mli b/generator/wrappi_boilerplate.mli
index c2fa59e..bc1f292 100644 (file)
--- a/generator/wrappi_boilerplate.mli
+++ b/generator/wrappi_boilerplate.mli
@@ -21,4 +21,4 @@ type comment_style =
   | ErlangStyle
 type license = GPLv2plus | LGPLv2plus
 
-val generate_header : comment_style -> license -> unit
+val generate_header : string list -> comment_style -> license -> unit