From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Tue, 8 Nov 2005 09:27:42 +0000 (+0000)
Subject: Debugging code removed.
X-Git-Tag: V_0_7_2_3~107
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=dc9081921adb8cb8fabfea5daac0638d797dc427;p=helm.git

Debugging code removed.
---

diff --git a/helm/ocaml/cic_disambiguation/disambiguate.ml b/helm/ocaml/cic_disambiguation/disambiguate.ml
index a245053c6..4aae8515e 100644
--- a/helm/ocaml/cic_disambiguation/disambiguate.ml
+++ b/helm/ocaml/cic_disambiguation/disambiguate.ml
@@ -109,7 +109,6 @@ let find_in_context name (context: Cic.name list) =
 
 let interpretate_term ~(context: Cic.name list) ~env ~uri ~is_path ast =
   assert (uri = None);
-prerr_endline "ciao";
   let rec aux loc (context: Cic.name list) = function
     | CicNotationPt.AttributedTerm (`Loc loc, term) ->
         aux loc context term