From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Fri, 19 Sep 2008 07:56:27 +0000 (+0000)
Subject: removed debug pps
X-Git-Tag: make_still_working~4764
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=5c474bdfb28196a7dc6009addccb47c08925887b;p=helm.git

removed debug pps
---

diff --git a/helm/software/components/library/librarian.ml b/helm/software/components/library/librarian.ml
index 9b08f4614..8b8991bfc 100644
--- a/helm/software/components/library/librarian.ml
+++ b/helm/software/components/library/librarian.ml
@@ -209,8 +209,6 @@ module Make = functor (F:Format) -> struct
   let fst4 = function (x,_,_,_) -> x;;
 
   let modified_before_s_t (_,cs, ct, _, _) a b = 
-    prerr_endline ("L s_t: a " ^ F.string_of_source_object a);
-    prerr_endline ("L s_t: b " ^ F.string_of_target_object b);  
     let a = try Hashtbl.find cs a with Not_found -> assert false in
     let b = 
       try
@@ -224,17 +222,13 @@ module Make = functor (F:Format) -> struct
            | x -> x
       with Not_found -> assert false
     in
-    let r = match a, b with 
+    match a, b with 
        | Some a, Some b -> a <= b
        | _ -> false
-    in
-    prerr_endline ("L s_t: " ^ string_of_bool r); r
+  ;;
 
   let modified_before_t_t (_,_,ct, _, _) a b = 
-(*    
-    prerr_endline ("L t_t: a " ^ F.string_of_target_object a);
-    prerr_endline ("L t_t: b " ^ F.string_of_target_object b);
-*)    let a = 
+    let a = 
       try
         match Hashtbl.find ct a with
         | Some _ as x -> x
@@ -258,16 +252,11 @@ module Make = functor (F:Format) -> struct
            | x -> x
       with Not_found -> assert false
     in
-    let r = match a, b with
+    match a, b with
     | Some a, Some b ->
-(*       
-       prerr_endline ("tt: a " ^ string_of_float a);
-       prerr_endline ("tt: b " ^ string_of_float b);
-*)       
        a <= b
     | _ -> false
-    in
-    prerr_endline ("L t_t: " ^ string_of_bool r); r
+  ;;
 
   let rec purge_unwanted_roots wanted deps =
     let roots, rest = 
@@ -391,10 +380,8 @@ module Make = functor (F:Format) -> struct
        let r = make_one root opts okd whatd in 
        r, okt && modified_before_t_t opts tgtd tgt
     in
-    prerr_endline ("L : processing " ^ str);
     try 
        let r = Hashtbl.find cc t in
-       prerr_endline ("L : " ^ string_of_bool r ^ " " ^ str);
        ok && r
 (* say "already built" *)
     with Not_found ->
@@ -418,7 +405,6 @@ module Make = functor (F:Format) -> struct
                 HLog.error ("No root for: " ^ str); false
           else false
        in
-       prerr_endline ("L : " ^ string_of_bool res ^ " " ^ str);
        Hashtbl.add cc t res; ok && res
 
 (****************************************************************************)