Debugging code removed.

diff --git a/helm/software/components/grafite_engine/grafiteEngine.ml b/helm/software/components/grafite_engine/grafiteEngine.ml
index be069fce101176f2d0340de1ea8cb583c4b57519..5c418ac9d22eb54e1d14134d888f3e9c2f0abe02 100644 (file)
--- a/helm/software/components/grafite_engine/grafiteEngine.ml
+++ b/helm/software/components/grafite_engine/grafiteEngine.ml
@@ -1020,7 +1020,6 @@ let rec eval_ncommand opts status (text,prefix_len,cmd) =
                assert (metasenv = [] && subst = []);
                let ty = NCicTypeChecker.typeof ~subst ~metasenv [] t in
                let src,tgt = src_tgt_of_ty_cpos_arity ty cpos arity in
-prerr_endline ("COERCION " ^ name ^ " cpos = " ^ string_of_int cpos ^ " arity = " ^ string_of_int arity);
                 basic_eval_and_inject_ncoercion (name,t,src,tgt,cpos,arity)
                  status
              ) status coercions