From 20e1829ad3de42dd322af972c6f9a585f40738ef Mon Sep 17 00:00:00 2001
From: Hugo Herbelin
Date: Thu, 10 Dec 2015 16:40:38 +0100
Subject: Fixing compilation with OCaml 3.12 after commit 9d45d45f3a87 on
 removing "open Unix" from lib/system.ml.

---
 lib/system.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'lib')

diff --git a/lib/system.ml b/lib/system.ml
index f860bd2f7e..a902229609 100644
--- a/lib/system.ml
+++ b/lib/system.ml
@@ -262,7 +262,7 @@ type time = float * float * float
 
 let get_time () =
   let t = Unix.times ()  in
-  (Unix.gettimeofday(), t.tms_utime, t.tms_stime)
+  (Unix.gettimeofday(), t.Unix.tms_utime, t.Unix.tms_stime)
 
 (* Keep only 3 significant digits *)
 let round f = (floor (f *. 1e3)) *. 1e-3
-- 
cgit v1.2.3