]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/mathql_interpreter/attribute.ml
structurated attribute names added
[helm.git] / helm / ocaml / mathql_interpreter / attribute.ml
index 46b8eae9b23fb10be30216d003e80c87303c6836..1a72f1e814600e2d2e1ba88a0434ef159803b595 100644 (file)
@@ -36,7 +36,7 @@ open Intersect;;
  *)
 let rec attribute_ex rop path inv = function
     [] -> []
-  | s::tl -> let tab = List.hd path in
+  | s::tl -> let tab = fst path in
              if inv then
                let res =
                let c = pgc () in