- improved logging

[helm.git] / helm / software / lambda-delta / lib / log.mli

diff --git a/helm/software/lambda-delta/lib/log.mli b/helm/software/lambda-delta/lib/log.mli
index 43e81191597a844771504b62dfcd4822f5cda966..821cb0f3180063d09fcd854e5022f9854c8af2fb 100644 (file)
--- 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