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

diff --git a/src/xpath/xpath_internal_parser.mly b/src/xpath/xpath_internal_parser.mly
index a05beb2..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-14 14:18:34 CET by Kim Nguyen>
+  Time-stamp: <Last modified on 2013-03-09 16:56:45 CET by Kim Nguyen>
 *)
 
   open Ast
@@ -68,7 +68,7 @@ simple_path:
 
 absolute_path:
   SLASH relative_path { $2 }
-| SLASHSLASH relative_path { (Descendant true, node, []) :: $2 }
+| SLASHSLASH relative_path { $2 @ [(Descendant true, node, [])] }
 ;
 
 relative_path: