From 3853cf2f71d796341f8cf4a33dc35a8afc018b56 Mon Sep 17 00:00:00 2001
From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Sat, 26 Nov 2005 16:41:01 +0000
Subject: [PATCH] Debugging code removed.

---
 helm/ocaml/cic_unification/cicRefine.ml | 1 -
 1 file changed, 1 deletion(-)

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
-- 
2.39.2