X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=src%2Fcache.ml;h=9ffb332b542f31b52243aee245b711709f8ce93c;hb=021fdd8af4067ec57cdbf5c2dbc903252cbd4707;hp=f9b7457d827c1ad77163215ae000df116cae3466;hpb=974dacbf4f625bfd8ea83db69d6b346050141fea;p=tatoo.git diff --git a/src/cache.ml b/src/cache.ml index f9b7457..9ffb332 100644 --- a/src/cache.ml +++ b/src/cache.ml @@ -13,10 +13,6 @@ (* *) (***********************************************************************) -(* - Time-stamp: -*) - module N1 = struct type 'a t = {