From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Wed, 20 Apr 2005 08:54:29 +0000 (+0000)
Subject: removed spurious debugging prints
X-Git-Tag: after_svn_merge~34
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=fb95787770f50fb38a422e8d24354c990cd375dd;p=helm.git

removed spurious debugging prints
---

diff --git a/helm/searchEngine/searchEngine.ml b/helm/searchEngine/searchEngine.ml
index 341ace5cc..f6e81e2d8 100644
--- a/helm/searchEngine/searchEngine.ml
+++ b/helm/searchEngine/searchEngine.ml
@@ -314,7 +314,6 @@ let exec_action dbd (req: Http_types.request) outchan =
   in
   let module Disambiguate' = Disambiguate.Make(Chat) in
   let ast = CicTextualParser2.parse_term (Stream.of_string term_str) in
-  prerr_endline "prima della disambiguazione";
   let (id_to_uris, metasenv, term) =
     match
       Disambiguate'.disambiguate_term dbd context metasenv ast id_to_uris
@@ -322,7 +321,6 @@ let exec_action dbd (req: Http_types.request) outchan =
     | [id_to_uris,metasenv,term,_] -> id_to_uris,metasenv,term
     | _ -> assert false
   in
-  prerr_endline "dopo la disambiguazione";
   let uris =
     match req#path with
     | "/match" -> MetadataQuery.match_term ~dbd term