This commit is contained in:
Jeremie Dimino 2014-07-28 10:18:45 +01:00
parent 9704fefad5
commit 8d35b32af0
1 changed files with 1 additions and 1 deletions

View File

@ -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 ())