X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fmathql_interpreter%2Fpattern.ml;h=576226008de0a5463c861cd6a076a72ee2723368;hb=8f89cdd08d9ee0a243cf84201bf42e5503759ee3;hp=39c9f3c3fadb402b92c4f2b7ff987a06b53cc54b;hpb=f870fdd883e3380f77f260709d4cb76e9d5def2b;p=helm.git

diff --git a/helm/ocaml/mathql_interpreter/pattern.ml b/helm/ocaml/mathql_interpreter/pattern.ml
index 39c9f3c3f..576226008 100644
--- a/helm/ocaml/mathql_interpreter/pattern.ml
+++ b/helm/ocaml/mathql_interpreter/pattern.ml
@@ -46,6 +46,7 @@ let pattern_ex (apreamble, apattern, afragid) =
      in
       [["retVal"]] @ List.map (fun l -> [l]) (pgresult_to_string_list res)*)
    let qq = "select uri from registry where uri " ^ (pattern_match (apreamble, apattern, afragid)) ^ " order by registry.uri asc" in
+print_endline qq ; flush stderr ;
    (*let _ = print_endline qq in*)
     let res =
      c#exec (qq)