X-Git-Url: http://git.nguyen.vg/gitweb/?p=tatoo.git;a=blobdiff_plain;f=src%2Fauto%2Feval.ml;h=4f68da044496947d1ff375f1730dbc30b5ece609;hp=4921b7f203a90b4c4aad4f2ec422c264ecf84c09;hb=53a0fd29a20e7f4550e0eb5fa5b0d5af6191c36d;hpb=7c1d3641c4c5d7bde075df20863ab4242df3b763

diff --git a/src/auto/eval.ml b/src/auto/eval.ml
index 4921b7f..4f68da0 100644
--- 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"
@@ -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))
-            | 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 ->