From 8dba6e7197dc2badcf0451acf64435dfb7eb5386 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Thu, 4 Sep 2008 10:41:45 +0000 Subject: [PATCH 1/1] removed debug pps --- helm/software/components/content_pres/termContentPres.ml | 5 ----- 1 file changed, 5 deletions(-) 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 :: [] -> -- 2.39.2