From 77552219608b573dc360b6bb7a52aa5344235959 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Fri, 10 Dec 2010 22:40:42 +0000 Subject: [PATCH] Debugging code removed. --- matita/components/content_pres/termContentPres.ml | 3 --- 1 file changed, 3 deletions(-) diff --git a/matita/components/content_pres/termContentPres.ml b/matita/components/content_pres/termContentPres.ml index b9abb4418..bdf07fb83 100644 --- a/matita/components/content_pres/termContentPres.ml +++ b/matita/components/content_pres/termContentPres.ml @@ -575,7 +575,6 @@ let tail_names names env = let instantiate_level2 env term = (* prerr_endline ("istanzio: " ^ NotationPp.pp_term term); *) -prerr_endline ("istanzio: " ^ NotationPp.pp_term term); let fresh_env = ref [] in let lookup_fresh_name n = try @@ -585,9 +584,7 @@ prerr_endline ("istanzio: " ^ NotationPp.pp_term term); fresh_env := (n, new_name) :: !fresh_env; new_name in -prerr_endline ("ENV " ^ NotationPp.pp_env env); let rec aux env term = -prerr_endline ("istanzio_deep: " ^ NotationPp.pp_term term); match term with | Ast.AttributedTerm (a, term) -> (*Ast.AttributedTerm (a, *)aux env term | Ast.Appl terms -> Ast.Appl (List.map (aux env) terms) -- 2.39.2