diff options
Diffstat (limited to 'tools.ml')
-rwxr-xr-x | tools.ml | 6 |
1 files changed, 0 insertions, 6 deletions
@@ -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 (); |