X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=src%2Fxpath%2Fast.ml;h=c83dd919e4c41f27b48cad20530ebccb7f41c06b;hb=c6327064b172a54ee7fc03ee54d398fb34f00142;hp=a90a41bd48420156b6059115f45fbf19e9f79f7c;hpb=b00bff88c7902e828804c06b7f9dc55222fdc84e;p=tatoo.git 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: + Time-stamp: *)