]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/mathql_interpreter/pattern.ml
new interface for text_of_query/text_of_result + bug fixes
[helm.git] / helm / ocaml / mathql_interpreter / pattern.ml
index 45b43995211ca97244daca79a47881f4255cb8b4..5fddf5729b4a9a7e719c9c5970bc0eee31758732 100644 (file)
@@ -40,7 +40,7 @@ let rec pattern_ex l =
              let c = pgc () in
              let qq = "select uri from registry where uri ~ '" ^ s ^ "' order by registry.uri asc" in
              let res = c#exec (qq) in
-             List.map (function uri -> (uri,[])) (pgresult_to_string_list res)
+             List.map (function uri -> (List.hd uri,[])) res#get_list
              (*for i = 0 to res#ntuples do 
             List.map (function uri -> (uri,[])) (res#get_tuple_list i)
              done*)