From fb95787770f50fb38a422e8d24354c990cd375dd Mon Sep 17 00:00:00 2001
From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Wed, 20 Apr 2005 08:54:29 +0000
Subject: [PATCH] removed spurious debugging prints

---
 helm/searchEngine/searchEngine.ml | 2 --
 1 file changed, 2 deletions(-)

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
-- 
2.39.2