X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fhelena%2Fsrc%2Flib%2Flog.ml;h=42f7f214b34b31eae85d3019a8b77b89f749c015;hb=4217fb2c3c93019cdf9c22a80ed46d6814f1cb7d;hp=6d3c2a783997ec314b3d5a1140edaea2c59dc0c3;hpb=ac97468f5422efc770316286cb807e3d3245a474;p=helm.git

diff --git a/helm/software/helena/src/lib/log.ml b/helm/software/helena/src/lib/log.ml
index 6d3c2a783..42f7f214b 100644
--- a/helm/software/helena/src/lib/log.ml
+++ b/helm/software/helena/src/lib/log.ml
@@ -9,8 +9,8 @@
      \ /   This software is distributed as is, NO WARRANTY.              
       V_______________________________________________________________ *)
 
-module S = String
-module P = Printf
+module KT = String
+module KP = Printf
 
 module U  = NUri
 
@@ -33,15 +33,15 @@ let std = stdout
 let err = stderr
 
 let pp_items och a st l items =
-   let indent = S.make (l+l) ' ' in    
+   let indent = KT.make (l+l) ' ' in    
    let pp_item och = function
-      | Term (c, t) -> P.fprintf och "%s%a\n" indent (st.pp_term a c) t
-      | LEnv c      -> P.fprintf och "%s%a" indent (st.pp_lenv a) c
-      | Warn s      -> P.fprintf och "%s%s\n" indent s
-      | Uri u       -> P.fprintf och "%s<%s>\n" indent (U.string_of_uri u)
+      | Term (c, t) -> KP.fprintf och "%s%a\n" indent (st.pp_term a c) t
+      | LEnv c      -> KP.fprintf och "%s%a\n" indent (st.pp_lenv a) c
+      | Warn s      -> KP.fprintf och "%s%s\n" indent s
+      | Uri u       -> KP.fprintf och "%s<%s>\n" indent (U.string_of_uri u)
    in
    let iter map och l = List.iter (map och) l in
-   P.fprintf och "%a%!" (iter pp_item) items
+   KP.fprintf och "%a%!" (iter pp_item) items
 
 (* Interface functions ******************************************************)