From aa560c640eb3f1148c87c4343900138845729105 Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Fri, 24 Nov 2017 18:43:12 +0100
Subject: [lib] Generalize Control.timeout type.

We also remove some internal implementation details from the mli file,
there due historical reasons.
---
 vernac/vernacentries.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'vernac')

diff --git a/vernac/vernacentries.ml b/vernac/vernacentries.ml
index 62c7edb19d..9a67aa6dd3 100644
--- a/vernac/vernacentries.ml
+++ b/vernac/vernacentries.ml
@@ -2144,7 +2144,7 @@ let vernac_timeout f =
   match !current_timeout, !default_timeout with
     | Some n, _ | None, Some n ->
       let f () = f (); current_timeout := None in
-      Control.timeout n f Timeout
+      Control.timeout n f () Timeout
     | None, None -> f ()
 
 let restore_timeout () = current_timeout := None
-- 
cgit v1.2.3