summaryrefslogtreecommitdiffstats
path: root/bin
diff options
context:
space:
mode:
Diffstat (limited to 'bin')
-rw-r--r--bin/dune2
-rw-r--r--bin/main.ml4
2 files changed, 4 insertions, 2 deletions
diff --git a/bin/dune b/bin/dune
index 73686e6..4874544 100644
--- a/bin/dune
+++ b/bin/dune
@@ -5,4 +5,4 @@
(executable
(public_name aoc2025)
(name main)
- (libraries aoc2025))
+ (libraries aoc2025 unix))
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