X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fmathql_interpreter%2Fpattern.ml;h=45b43995211ca97244daca79a47881f4255cb8b4;hb=89262281b6e83bd2321150f81f1a0583645eb0c8;hp=86ef522b92e791fddeebd4ac24f5649035024679;hpb=a96d91e43e25d3d5b36e7c3646831bcf8a401c9d;p=helm.git

diff --git a/helm/ocaml/mathql_interpreter/pattern.ml b/helm/ocaml/mathql_interpreter/pattern.ml
index 86ef522b9..45b439952 100644
--- a/helm/ocaml/mathql_interpreter/pattern.ml
+++ b/helm/ocaml/mathql_interpreter/pattern.ml
@@ -41,7 +41,11 @@ let rec pattern_ex l =
              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)
-             in
+             (*for i = 0 to res#ntuples do 
+	     List.map (function uri -> (uri,[])) (res#get_tuple_list i)
+             done*)
+
+	     in
 	     cat result (pattern_ex tl)
 ;;