]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/mathql_interpreter/attribute.ml
cvsignore for html documentation dir
[helm.git] / helm / ocaml / mathql_interpreter / attribute.ml
index 2e4f8f5b480e3a82153e3853c3d012783e445942..1a72f1e814600e2d2e1ba88a0434ef159803b595 100644 (file)
@@ -36,8 +36,8 @@ open Intersect;;
  *)
 let rec attribute_ex rop path inv = function
     [] -> []
-  | s::tl -> let tab = List.hd path in
-             if (not inv) then
+  | s::tl -> let tab = fst path in
+             if inv then
                let res =
                let c = pgc () in
               let q = ("select " ^ tab ^ ".uri from " ^ tab ^ " where " ^ tab ^ ".value = '" ^ s ^ "'") in