From 01d7f77f65c3a2b83978b1f00c87b54f00647816 Mon Sep 17 00:00:00 2001 From: Sébastien Dailly Date: Wed, 25 Oct 2017 14:50:32 +0200 Subject: Update sheet traversal --- tools.ml | 6 ------ 1 file changed, 6 deletions(-) (limited to 'tools.ml') diff --git a/tools.ml b/tools.ml index 0954be1..45c9bab 100755 --- a/tools.ml +++ b/tools.ml @@ -281,12 +281,6 @@ module NCurses = struct end -module Date = struct - - include Date - -end - let try_finally f except = try let res = f () in except (); -- cgit v1.2.3