X-Git-Url: http://git.nguyen.vg/gitweb/?p=tatoo.git;a=blobdiff_plain;f=src%2Fuparser.ml;h=c5aeb1ae399b12148d5b6af384ba643c4759cc87;hp=74fef9dd3b8170d4f359d7400a00c3652804f780;hb=6b66008811639324be623a42037b60e02056772c;hpb=ddd758716b1cd691c8748d2e86c179e803b1d3af diff --git a/src/uparser.ml b/src/uparser.ml index 74fef9d..c5aeb1a 100644 --- a/src/uparser.ml +++ b/src/uparser.ml @@ -1,3 +1,21 @@ +(***********************************************************************) +(* *) +(* TAToo *) +(* *) +(* Kim Nguyen, LRI UMR8623 *) +(* Université Paris-Sud & CNRS *) +(* *) +(* Copyright 2010-2013 Université Paris-Sud and Centre National de la *) +(* Recherche Scientifique. All rights reserved. This file is *) +(* distributed under the terms of the GNU Lesser General Public *) +(* License, with the special exception on linking described in file *) +(* ../LICENSE. *) +(* *) +(***********************************************************************) + +(* + Time-stamp: +*) let xpath (f : Ulexing.lexbuf -> Parser.token) (l: Ulexing.lexbuf) = Parser.xpath (fun _ -> f l) (Lexing.from_string "!!dummy!!")