X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fmathql_interpreter%2Fattribute.ml;h=1a72f1e814600e2d2e1ba88a0434ef159803b595;hb=856dc227c9781439a31d03f5b68d32a41db63ab9;hp=46b8eae9b23fb10be30216d003e80c87303c6836;hpb=ba64642ca7771cd9cc7b9f73476c8f608ffeeda5;p=helm.git

diff --git a/helm/ocaml/mathql_interpreter/attribute.ml b/helm/ocaml/mathql_interpreter/attribute.ml
index 46b8eae9b..1a72f1e81 100644
--- a/helm/ocaml/mathql_interpreter/attribute.ml
+++ b/helm/ocaml/mathql_interpreter/attribute.ml
@@ -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