From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Tue, 9 Mar 2004 15:59:56 +0000 (+0000)
Subject: Debug code removed.
X-Git-Tag: v0_0_4~27
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=edc5353f6286f235ad13eb0c0c363991388615b2;p=helm.git

Debug code removed.
---

diff --git a/helm/ocaml/mathql_interpreter/mQIMySql.ml b/helm/ocaml/mathql_interpreter/mQIMySql.ml
index 170a2dfe5..3f8d2aa78 100644
--- a/helm/ocaml/mathql_interpreter/mQIMySql.ml
+++ b/helm/ocaml/mathql_interpreter/mQIMySql.ml
@@ -46,7 +46,6 @@ let quote s =
 let exec c q = 
    let g = function None -> "" | Some v -> v in
    let f a = List.map g (Array.to_list a) in
-prerr_endline ("###\n" ^ q);
    Mysql.map ~f:f (Mysql.exec c q), q
 
 let exec c table cols ct cfl =