X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Flambda-delta%2Flib%2Flog.ml;h=03e7b5b958a2b44dcca9a1571b7e12e948a60383;hb=81e3d11cbb2a7a6498b4b19876bbb5ababc8942b;hp=3b93ccedb24b9249bd445d25920c9f59313b0b48;hpb=cd798346d31b14b8947e5801b87dc4f363607862;p=helm.git

diff --git a/helm/software/lambda-delta/lib/log.ml b/helm/software/lambda-delta/lib/log.ml
index 3b93ccedb..03e7b5b95 100644
--- a/helm/software/lambda-delta/lib/log.ml
+++ b/helm/software/lambda-delta/lib/log.ml
@@ -32,6 +32,9 @@ let loc = ref "unknown location"
 
 (* Internal functions *******************************************************)
 
+let clear () = 
+   level := 0; loc := "unknown location"
+
 let std = F.std_formatter
 
 let err = F.err_formatter