From e16c23d3260f4d74a77f1069fdf35dc06d5a822e Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Thu, 9 Jun 2005 11:44:27 +0000 Subject: [PATCH] removed debug prints --- helm/ocaml/cic_unification/cicRefine.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/helm/ocaml/cic_unification/cicRefine.ml b/helm/ocaml/cic_unification/cicRefine.ml index 25af88f4f..98bafe9b8 100644 --- a/helm/ocaml/cic_unification/cicRefine.ml +++ b/helm/ocaml/cic_unification/cicRefine.ml @@ -523,12 +523,12 @@ and type_of_aux' metasenv context t ugraph = constructor_args_no (CicMetaSubst.apply_subst subst instance) in -prerr_endline ("PRIMA subst:\n" ^ CicMetaSubst.ppsubst subst ^ "\nmetasenv:\n" ^ CicMetaSubst.ppmetasenv metasenv subst); +debug_print ("PRIMA subst:\n" ^ CicMetaSubst.ppsubst subst ^ "\nmetasenv:\n" ^ CicMetaSubst.ppmetasenv metasenv subst); let subst,metasenv,ugraph = fo_unif_subst subst context metasenv instance' ty ugraph in -prerr_endline ("DOPO subst:\n" ^ CicMetaSubst.ppsubst subst ^ "\nmetasenv:\n" ^ CicMetaSubst.ppmetasenv metasenv subst); +debug_print ("DOPO subst:\n" ^ CicMetaSubst.ppsubst subst ^ "\nmetasenv:\n" ^ CicMetaSubst.ppmetasenv metasenv subst); candidate_oty,ugraph,metasenv,subst (* CSC: XXX let b,ugraph1 = -- 2.39.2