]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/software/lambda-delta/lib/log.ml
- common/entity: new format for kernel entities
[helm.git] / helm / software / lambda-delta / lib / log.ml
index e50fa254da8a71567804fe080f6f975bb8a68a89..3b93ccedb24b9249bd445d25920c9f59313b0b48 100644 (file)
@@ -28,7 +28,7 @@ type ('a, 'b) specs = {
 
 let level = ref 0
 
-let loc = ref 0
+let loc = ref "unknown location"
 
 (* Internal functions *******************************************************)
 
@@ -42,7 +42,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