X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=src%2Fxpath%2Fxpath_internal_parser.mly;h=de63cdf94c54d9400683e208e1a4201133cd458c;hb=7eb78333c3dcc85a1723bc0fe2c2e2703d27e418;hp=04ecf369521831159d72a8125c3e12a609edd959;hpb=30bc0bb1291426e5e26eb2dee1ffc41e4c246349;p=tatoo.git

diff --git a/src/xpath/xpath_internal_parser.mly b/src/xpath/xpath_internal_parser.mly
index 04ecf36..de63cdf 100644
--- a/src/xpath/xpath_internal_parser.mly
+++ b/src/xpath/xpath_internal_parser.mly
@@ -15,7 +15,7 @@
 (***********************************************************************)
 
 (*
-  Time-stamp: <Last modified on 2013-02-07 10:31:01 CET by Kim Nguyen>
+  Time-stamp: <Last modified on 2013-03-09 16:56:45 CET by Kim Nguyen>
 *)
 
   open Ast
@@ -68,14 +68,14 @@ simple_path:
 
 absolute_path:
   SLASH relative_path { $2 }
-| SLASHSLASH relative_path { (DescendantOrSelf, node, []) :: $2 }
+| SLASHSLASH relative_path { $2 @ [(Descendant true, node, [])] }
 ;
 
 relative_path:
   step { [ $1 ] }
 | relative_path SLASH step { $3 :: $1 }
 | relative_path SLASHSLASH step { $3
-                                  :: (DescendantOrSelf, node, [])
+                                  :: (Descendant true, node, [])
                                   :: $1 }
 ;