diff options
Diffstat (limited to 'bin/main.ml')
| -rw-r--r-- | bin/main.ml | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/bin/main.ml b/bin/main.ml index 2cddf84..0ffbaac 100644 --- a/bin/main.ml +++ b/bin/main.ml @@ -37,7 +37,9 @@ let () = let fn = day_part_fn args.(2) args.(1) in let ic = open_in args.(0) in try - fn ic + let s = Unix.gettimeofday () in + fn ic; + Printf.printf "%.3f" ((Unix.gettimeofday ()) -. s) with e -> close_in_noerr ic; raise e |