Add a kind element to the node tree. Improve support for XPath by

[tatoo.git] / src / auto / eval.ml

diff --git a/src/auto/eval.ml b/src/auto/eval.ml
index 4921b7f..4f68da0 100644 (file)
--- a/src/auto/eval.ml
+++ b/src/auto/eval.ml
@@ -14,7 +14,7 @@
 (***********************************************************************)
 
 (*
 (***********************************************************************)
 
 (*

-  Time-stamp: <Last modified on 2013-03-09 09:22:47 CET by Kim Nguyen>
+  Time-stamp: <Last modified on 2013-03-10 23:31:33 CET by Kim Nguyen>

 *)
 
 INCLUDE "utils.ml"
 *)
 
 INCLUDE "utils.ml"


@@ -48,8 +48,7 @@ module Make (T : Tree.Sig.S) = struct
                 node == (T.first_child tree (T.parent tree node))
             | Is_next_sibling ->
                 node == (T.next_sibling tree (T.parent tree node))
                 node == (T.first_child tree (T.parent tree node))
             | Is_next_sibling ->
                 node == (T.next_sibling tree (T.parent tree node))

-            | Is_attribute ->
-                QName.has_attribute_prefix (T.tag tree node)
+            | Is k -> k == (T.kind tree node)

             | Has_first_child ->
                 T.nil != T.first_child tree node
             | Has_next_sibling ->
             | Has_first_child ->
                 T.nil != T.first_child tree node
             | Has_next_sibling ->