From b66e2a4ea05a9a53b1c4c1d7051de0419ccc441b Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Mon, 5 Sep 2005 15:29:34 +0000 Subject: [PATCH] removed tedious debugging message --- helm/ocaml/cic_notation/cicNotationPres.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/helm/ocaml/cic_notation/cicNotationPres.ml b/helm/ocaml/cic_notation/cicNotationPres.ml index e8458a073..c66566613 100644 --- a/helm/ocaml/cic_notation/cicNotationPres.ml +++ b/helm/ocaml/cic_notation/cicNotationPres.ml @@ -48,7 +48,7 @@ let rec make_attributes l1 = function | None -> make_attributes (List.tl l1) tl | Some s -> let p,n = List.hd l1 in - prerr_endline (Printf.sprintf "make_attributes %s %s" n s); +(* prerr_endline (Printf.sprintf "make_attributes %s %s" n s); *) hd := None; (p,n,s) :: make_attributes (List.tl l1) tl) -- 2.39.2