]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/mathql_interpreter/attribute.ml
added inverse switch for relation and attribute
[helm.git] / helm / ocaml / mathql_interpreter / attribute.ml
index 2e4f8f5b480e3a82153e3853c3d012783e445942..46b8eae9b23fb10be30216d003e80c87303c6836 100644 (file)
@@ -37,7 +37,7 @@ open Intersect;;
 let rec attribute_ex rop path inv = function
     [] -> []
   | s::tl -> let tab = List.hd path in
-             if (not inv) then
+             if inv then
                let res =
                let c = pgc () in
               let q = ("select " ^ tab ^ ".uri from " ^ tab ^ " where " ^ tab ^ ".value = '" ^ s ^ "'") in