- we completed the text parser fixing the syntactic shortcuts

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

diff --git a/helm/software/lambda-delta/lib/log.ml b/helm/software/lambda-delta/lib/log.ml
index 3b93ccedb24b9249bd445d25920c9f59313b0b48..03e7b5b958a2b44dcca9a1571b7e12e948a60383 100644 (file)
--- 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