From: Enrico Tassi Date: Sat, 23 Jun 2007 14:31:12 +0000 (+0000) Subject: removed ugly printings X-Git-Tag: 0.4.95@7852~392 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=7873779480093bac7e7ee891aa9bd1d0bfb903ff;p=helm.git removed ugly printings --- diff --git a/components/cic_unification/cicRefine.ml b/components/cic_unification/cicRefine.ml index d6504eb15..840a955cb 100644 --- a/components/cic_unification/cicRefine.ml +++ b/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