From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Sat, 23 Jun 2007 14:31:12 +0000 (+0000)
Subject: removed ugly printings
X-Git-Tag: make_still_working~6241
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=ace2947c20827ae2c4810b087d490015602e35d9;p=helm.git

removed ugly printings
---

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