From 1543407f2d4ef5bdbfc0662a8fe0bd70f1d258d9 Mon Sep 17 00:00:00 2001 From: Stijn Devriendt Date: Fri, 20 Oct 2017 17:01:42 +0200 Subject: [PATCH] Fix gettimeofday parameter not used in favor of Unix.gettimeofday --- src/prometheus.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/prometheus.ml b/src/prometheus.ml index 5b48be0..8f6c948 100644 --- a/src/prometheus.ml +++ b/src/prometheus.ml @@ -236,7 +236,7 @@ module Summary = struct let start = gettimeofday () in Lwt.finalize fn (fun () -> - let finish = Unix.gettimeofday () in + let finish = gettimeofday () in observe t (finish -. start); Lwt.return_unit )