X-Git-Url: http://git.nguyen.vg/gitweb/?p=tatoo.git;a=blobdiff_plain;f=src%2Fxpath%2Fast.ml;fp=src%2Fxpath%2Fast.ml;h=c83dd919e4c41f27b48cad20530ebccb7f41c06b;hp=a90a41bd48420156b6059115f45fbf19e9f79f7c;hb=82fa70675272c579a642c6e62c8fbf28a1bba56c;hpb=0ef88e3bb1cc9fea830978723813dd8d23837039

diff --git a/src/xpath/ast.ml b/src/xpath/ast.ml
index a90a41b..c83dd91 100644
--- a/src/xpath/ast.ml
+++ b/src/xpath/ast.ml
@@ -14,7 +14,7 @@
 (***********************************************************************)
 
 (*
-  Time-stamp: <Last modified on 2013-04-04 18:43:04 CEST by Kim Nguyen>
+  Time-stamp: <Last modified on 2013-04-18 11:22:00 CEST by Kim Nguyen>
 *)