From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Sat, 26 Nov 2005 16:41:01 +0000 (+0000)
Subject: Debugging code removed.
X-Git-Tag: make_still_working~8087
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;ds=inline;h=3853cf2f71d796341f8cf4a33dc35a8afc018b56;p=helm.git

Debugging code removed.
---

diff --git a/helm/ocaml/cic_unification/cicRefine.ml b/helm/ocaml/cic_unification/cicRefine.ml
index 2b4b68947..f050726bc 100644
--- a/helm/ocaml/cic_unification/cicRefine.ml
+++ b/helm/ocaml/cic_unification/cicRefine.ml
@@ -852,7 +852,6 @@ and type_of_aux' ?(localization_tbl = Cic.CicHash.create 1) metasenv context t
         | (uri,t)::tl ->
             let ty_uri,ugraph1 =  type_of_variable uri ugraph in
             let typeofvar =
-prerr_endline ("<<<" ^ CicPp.ppterm ty_uri);
               CicSubstitution.subst_vars substs ty_uri in
               (* CSC: why was this code here? it is wrong
                  (match CicEnvironment.get_cooked_obj ~trust:false uri with