]> matita.cs.unibo.it Git - helm.git/commitdiff
Debug code removed.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 9 Mar 2004 15:59:56 +0000 (15:59 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 9 Mar 2004 15:59:56 +0000 (15:59 +0000)
helm/ocaml/mathql_interpreter/mQIMySql.ml

index 170a2dfe548fb065dcd763b00d8930bff0bd3739..3f8d2aa782f2dac0afcd56891476da1089b6b0c4 100644 (file)
@@ -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 =