X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Flambda-delta%2Flib%2Flog.mli;h=9e0f054e18213d06cb9f7ed57d9517cfc1c07eaa;hb=81e3d11cbb2a7a6498b4b19876bbb5ababc8942b;hp=3e093575a8e8873e4b0759a6d26fdcac94fb4c06;hpb=8a4c83c6341976f2bb70eb44a0c70f2aa95ad3ea;p=helm.git

diff --git a/helm/software/lambda-delta/lib/log.mli b/helm/software/lambda-delta/lib/log.mli
index 3e093575a..9e0f054e1 100644
--- a/helm/software/lambda-delta/lib/log.mli
+++ b/helm/software/lambda-delta/lib/log.mli
@@ -22,10 +22,12 @@ type ('a, 'b) specs = {
    pp_lenv: Format.formatter -> 'a -> unit
 }
 
-val loc: int ref
+val loc: string ref
 
 val level: int ref
 
+val clear: unit -> unit
+
 val warn: string -> unit
 
 val box: int -> unit