Debugging code removed.

[helm.git] / helm / ocaml / cic_unification / cicRefine.ml

diff --git a/helm/ocaml/cic_unification/cicRefine.ml b/helm/ocaml/cic_unification/cicRefine.ml
index 2b4b68947b9ca8025edf0dd174761b5cb6ca4db1..f050726bcc70034f6844e1ebc110ab3fc71c424c 100644 (file)
--- 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