aboutsummaryrefslogtreecommitdiff
path: root/tools.ml
diff options
context:
space:
mode:
Diffstat (limited to 'tools.ml')
-rwxr-xr-xtools.ml6
1 files changed, 0 insertions, 6 deletions
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 ();