X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Flambda-delta%2Flib%2Flog.ml;fp=helm%2Fsoftware%2Flambda-delta%2Flib%2Flog.ml;h=fd99db2d2c24d1b85d721cd990839d947f9a4ca6;hb=426005acf6fb05116de5bae20591eefe55a4df00;hp=b33f6726b9b148d54bb15474eb23cf14853f3240;hpb=338e3e5c639fbcfeeb347a0121cacc6c0f1fc42a;p=helm.git

diff --git a/helm/software/lambda-delta/lib/log.ml b/helm/software/lambda-delta/lib/log.ml
index b33f6726b..fd99db2d2 100644
--- a/helm/software/lambda-delta/lib/log.ml
+++ b/helm/software/lambda-delta/lib/log.ml
@@ -31,12 +31,6 @@ let std = F.std_formatter
 
 let err = F.err_formatter
 
-let init =
-   let started = ref false in
-   fun () ->
-      if !started then () else 
-      begin P.printf "\n"; started := true end
-
 let pp_items frm st l items =   
    let pp_item frm = function
       | Term (c, t) -> F.fprintf frm "%a@,%a" st.pp_context c (st.pp_term c) t
@@ -49,15 +43,13 @@ let pp_items frm st l items =
 
 (* Interface functions ******************************************************)
 
-(*
-let warn msg = 
-   init (); P.printf " %s\n" msg; flush stdout
-*)
-let box () = F.fprintf std "@,@[<v 2>%s" "  "; F.pp_print_if_newline std ()
+let box l = 
+   if !level >= l then
+   begin F.fprintf std "@,@[<v 2>%s" "  "; F.pp_print_if_newline std () end
 
-let unbox () = F.fprintf std "@]"
+let unbox l = if !level >= l then F.fprintf std "@]"
 
-let flush () = F.fprintf std "@]@."
+let flush l = if !level >= l then F.fprintf std "@]@."
 
 let box_err () = F.fprintf err "@[<v>"