From 8d35b32af0274655dd990571d13f3bb0e1a1cd49 Mon Sep 17 00:00:00 2001 From: Jeremie Dimino Date: Mon, 28 Jul 2014 10:18:45 +0100 Subject: [PATCH] fix #77 --- src/lib/uTop.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/lib/uTop.ml b/src/lib/uTop.ml index 10378a3..58d8c10 100644 --- a/src/lib/uTop.ml +++ b/src/lib/uTop.ml @@ -52,7 +52,7 @@ let key_sequence = UTop_private.key_sequence let count = UTop_private.count -let time = ref 0. +let time = ref (Unix.time ()) let () = at_new_command (fun () -> time := Unix.time ())