From ace2947c20827ae2c4810b087d490015602e35d9 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Sat, 23 Jun 2007 14:31:12 +0000 Subject: [PATCH] removed ugly printings --- helm/software/components/cic_unification/cicRefine.ml | 2 -- 1 file changed, 2 deletions(-) diff --git a/helm/software/components/cic_unification/cicRefine.ml b/helm/software/components/cic_unification/cicRefine.ml index d6504eb15..840a955cb 100644 --- a/helm/software/components/cic_unification/cicRefine.ml +++ b/helm/software/components/cic_unification/cicRefine.ml @@ -677,8 +677,6 @@ and type_of_aux' ?(localization_tbl = Cic.CicHash.create 1) metasenv context t type_of_aux subst metasenv context expected_type ugraph1 in let actual_type = CicReduction.whd ~subst context actual_type in - prerr_endline (CicPp.ppterm expected_type'); - prerr_endline (CicPp.ppterm actual_type); let subst,metasenv,ugraph3 = try fo_unif_subst subst context metasenv -- 2.39.2