X-Git-Url: http://git.nguyen.vg/gitweb/?p=tatoo.git;a=blobdiff_plain;f=src%2Fxpath%2Fcompile.ml;fp=src%2Fxpath%2Fcompile.ml;h=f1212f2a4707b10dd2b8b971cb92376cded559e0;hp=b22a74b6024263a9527fe51bba53ca1cbd56a542;hb=8026ca9faaa968ced3c2e75ca1d6b55f7270ca50;hpb=74e8f4bcdd9e19a2ec434d82c1a6eb897b826632

diff --git a/src/xpath/compile.ml b/src/xpath/compile.ml
index b22a74b..f1212f2 100644
--- a/src/xpath/compile.ml
+++ b/src/xpath/compile.ml
@@ -14,7 +14,7 @@
 (***********************************************************************)
 
 (*
-  Time-stamp: <Last modified on 2013-03-04 17:55:28 CET by Kim Nguyen>
+  Time-stamp: <Last modified on 2013-03-05 15:24:20 CET by Kim Nguyen>
 *)
 
 open Ast
@@ -56,7 +56,7 @@ let compile_axis_test axis test phi trans states =
     | Descendant self ->
         (if self then (`Epsilon ** q) else (`Left ** q)),
       (q, [ test => phi;
-            QNameSet.any => (`Left ** q) %% (`Right ** q) ]) :: trans,
+            QNameSet.any => (`Left ** q) ++ (`Right ** q) ]) :: trans,
       states
 
     | Parent ->