diff options
author | Sébastien Dailly <sebastien@chimrod.com> | 2017-10-31 16:07:04 +0100 |
---|---|---|
committer | Sébastien Dailly <sebastien@chimrod.com> | 2017-10-31 16:07:04 +0100 |
commit | ab721136f50914a21f6cca89f0fcfb055ba58cd2 (patch) | |
tree | 60f788e3e8733a6d3606e801bc21a24e419e070e /tools.ml | |
parent | db627ca2cfc745bbf2e489251e64054ab2b3bff9 (diff) | |
parent | d8ed0babfa1c03c8f1968443a465972bb3bf460c (diff) |
Update ScTypes.types with types used in evaluator
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 (); |