X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Flambda-delta%2Flib%2Flog.mli;h=821cb0f3180063d09fcd854e5022f9854c8af2fb;hb=dc0eae6607f2b299deeeb1a2c4e145e7a6d40629;hp=43e81191597a844771504b62dfcd4822f5cda966;hpb=f23388dbd51574725a11b0ab5373f09838a32ab5;p=helm.git

diff --git a/helm/software/lambda-delta/lib/log.mli b/helm/software/lambda-delta/lib/log.mli
index 43e811915..821cb0f31 100644
--- a/helm/software/lambda-delta/lib/log.mli
+++ b/helm/software/lambda-delta/lib/log.mli
@@ -23,11 +23,11 @@ val level: int ref
 
 val warn: string -> unit
 
-val box: unit -> unit
+val box: int -> unit
 
-val unbox: unit -> unit
+val unbox: int -> unit
 
-val flush: unit -> unit
+val flush: int -> unit
 
 val box_err: unit -> unit