X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=src%2Ftree.ml;h=f502c7e760c7641f039adf480643dd6c7cbfbe77;hb=6b66008811639324be623a42037b60e02056772c;hp=1cfc77a6b3d9f10f88810f86bd59891380da60b7;hpb=269daee8bbc5b86adeb9b23049c378e49cc82d2e;p=tatoo.git diff --git a/src/tree.ml b/src/tree.ml index 1cfc77a..f502c7e 100644 --- a/src/tree.ml +++ b/src/tree.ml @@ -13,6 +13,10 @@ (* *) (***********************************************************************) +(* + Time-stamp: +*) + type node = { tag : QName.t; preorder : int;