From 7eb78333c3dcc85a1723bc0fe2c2e2703d27e418 Mon Sep 17 00:00:00 2001
From: =?utf8?q?Kim=20Nguy=E1=BB=85n?= <kn@lri.fr>
Date: Sat, 9 Mar 2013 17:19:23 +0100
Subject: [PATCH] Fix a bug in the parser where a leading '//' would be parsed
 incorectly.

---
 src/xpath/xpath_internal_parser.mly | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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:
-- 
2.17.1