X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fmathql_interpreter%2FmQIMySql.ml;h=3f8d2aa782f2dac0afcd56891476da1089b6b0c4;hb=edc5353f6286f235ad13eb0c0c363991388615b2;hp=170a2dfe548fb065dcd763b00d8930bff0bd3739;hpb=01a159421d87064d2e5397bfc90630a671e7824a;p=helm.git

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 =