From: Wilmer Ricciotti <ricciott@cs.unibo.it>
Date: Fri, 5 Oct 2012 12:25:35 +0000 (+0000)
Subject: Removes debug prints that were left from last commit.
X-Git-Tag: make_still_working~1498
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=dd0bc201a5ad414c82b1d482e83a828126d67562;p=helm.git

Removes debug prints that were left from last commit.
---

diff --git a/matita/components/ng_tactics/nDestructTac.ml b/matita/components/ng_tactics/nDestructTac.ml
index d85b9ec50..2b6f4688a 100644
--- a/matita/components/ng_tactics/nDestructTac.ml
+++ b/matita/components/ng_tactics/nDestructTac.ml
@@ -28,7 +28,7 @@
 open NTacStatus
 open Continuationals.Stack
 
-let debug = true
+let debug = false
 let pp = 
   if debug then (fun x -> prerr_endline (Lazy.force x)) else (fun _ -> ())
 
@@ -326,8 +326,6 @@ let mk_discriminator ~use_jmeq ?(force=false) name it leftno status baseuri =
                            let t_deps = List.map fst (List.filter (fun (name,rev_deps) -> List.mem t rev_deps) deps) in
                            (t,t_deps)::acc) [] deps
                       in 
-                      prerr_endline ("deps dump!");
-                      List.iter (fun (x,xs) -> prerr_endline (x ^ ": " ^ (String.concat ", " xs))) deps;
 		      let deps = List.map (fun (x,xs) -> mk_id x, (List.map mk_id) xs) deps in
                       let max_dep = List.fold_left max 0 (List.map (fun (_,xs) -> List.length xs) deps) in
                       if (max_dep > 4 && not use_jmeq && not force) then raise (ConstructorTooBig (kname i));