]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/mathql_interpreter/func.ml
Initial revision
[helm.git] / helm / ocaml / mathql_interpreter / func.ml
index bd262762952c47b229a6a1c332b078446f039494..8bc0c8d10d273cc8eb6d2908758406b348cd2c74 100644 (file)
@@ -38,9 +38,8 @@ let rec fun_ex tab = function
     [] -> []
   | s::tl -> let res =
              let c = pgc () in
-            let q = ("select objectName.uri from objectName where objectName.value = '" ^ s ^ "'") in
-            print_endline ("@@@@LA QUERY E': " ^ q);
-            pgresult_to_string_list (c#exec q)
+            let q = ("select " ^ tab ^ ".uri from " ^ tab ^ " where " ^ tab ^ ".value = '" ^ s ^ "'") in
+                    pgresult_to_string_list (c#exec q)
              in
              append (res,(fun_ex tab tl))
 ;;