From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Thu, 4 Sep 2008 10:41:45 +0000 (+0000)
Subject: removed debug pps
X-Git-Tag: make_still_working~4819
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=8dba6e7197dc2badcf0451acf64435dfb7eb5386;p=helm.git

removed debug pps
---

diff --git a/helm/software/components/content_pres/termContentPres.ml b/helm/software/components/content_pres/termContentPres.ml
index 0c83dd0bb..29845af1d 100644
--- a/helm/software/components/content_pres/termContentPres.ml
+++ b/helm/software/components/content_pres/termContentPres.ml
@@ -342,21 +342,16 @@ let instantiate21 idrefs env l1 =
   and subst_magic pos env = function
     | Ast.List0 (p, sep_opt)
     | Ast.List1 (p, sep_opt) ->
-        prerr_endline "1";
         let rec_decls = CicNotationEnv.declarations_of_term p in
-        prerr_endline "2";
         let rec_values =
           List.map (fun (n, _) -> CicNotationEnv.lookup_list env n) rec_decls
         in
-        prerr_endline "3";
         let values = CicNotationUtil.ncombine rec_values in
-        prerr_endline "4";
         let sep =
           match sep_opt with
             | None -> []
             | Some l -> [ Ast.Literal l; break; space ]
 	in
-        prerr_endline "5";
         let rec instantiate_list acc = function
           | [] -> List.rev acc
 	  | value_set :: [] ->