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=e50fa254da8a71567804fe080f6f975bb8a68a89;hpb=8a4c83c6341976f2bb70eb44a0c70f2aa95ad3ea;p=helm.git

diff --git a/helm/software/lambda-delta/lib/log.ml b/helm/software/lambda-delta/lib/log.ml
index e50fa254d..03e7b5b95 100644
--- a/helm/software/lambda-delta/lib/log.ml
+++ b/helm/software/lambda-delta/lib/log.ml
@@ -28,10 +28,13 @@ type ('a, 'b) specs = {
 
 let level = ref 0
 
-let loc = ref 0
+let loc = ref "unknown location"
 
 (* Internal functions *******************************************************)
 
+let clear () = 
+   level := 0; loc := "unknown location"
+
 let std = F.std_formatter
 
 let err = F.err_formatter
@@ -42,7 +45,7 @@ let pp_items frm st l items =
       | LEnv c      -> F.fprintf frm "%a" st.pp_lenv c
       | Warn s      -> F.fprintf frm "@,%s" s
       | String s    -> F.fprintf frm "%s " s
-      | Loc         -> F.fprintf frm " (line %u)" !loc 
+      | Loc         -> F.fprintf frm " <%s>" !loc 
    in
    let iter map frm l = List.iter (map frm) l in
    if !level >= l then F.fprintf frm "%a" (iter pp_item) items