]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/mathql_interpreter/pattern.ml
Bug fixed: there is an invariant that every attributed uri list must be
[helm.git] / helm / ocaml / mathql_interpreter / pattern.ml
index 39c9f3c3fadb402b92c4f2b7ff987a06b53cc54b..576226008de0a5463c861cd6a076a72ee2723368 100644 (file)
@@ -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)