From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Wed, 8 Mar 2006 14:53:13 +0000 (+0000)
Subject: Debugging code removed.
X-Git-Tag: 0.4.95@7852~1613
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;ds=inline;h=fdc7fbf786e14766cc598c75fae0650c219d679a;p=helm.git

Debugging code removed.
---

diff --git a/components/grafite_engine/grafiteEngine.ml b/components/grafite_engine/grafiteEngine.ml
index 0bbb01403..bfd0aff59 100644
--- a/components/grafite_engine/grafiteEngine.ml
+++ b/components/grafite_engine/grafiteEngine.ml
@@ -418,7 +418,6 @@ let refinement_toolkit = {
 let eval_coercion status ~add_composites uri =
  let basedir = Helm_registry.get "matita.basedir" in
  let status,compounds =
-   prerr_endline "evaluating a coercion command";
   GrafiteSync.add_coercion ~basedir ~add_composites refinement_toolkit status uri in
  let moo_content = coercion_moo_statement_of uri in
  let status = GrafiteTypes.add_moo_content [moo_content] status in