X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=src%2Fxpath%2Fcompile.ml;h=c52c720900a492d6cc462432b54ee6eb7c94ee62;hb=9a127b83fbb1171ebd36e6f42780093412a5e91a;hp=e62b91801dac8a2a12ef8f461b24864cd0cbac82;hpb=b00bff88c7902e828804c06b7f9dc55222fdc84e;p=tatoo.git diff --git a/src/xpath/compile.ml b/src/xpath/compile.ml index e62b918..c52c720 100644 --- a/src/xpath/compile.ml +++ b/src/xpath/compile.ml @@ -13,10 +13,6 @@ (* *) (***********************************************************************) -(* - Time-stamp: -*) - open Ast