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.
---
 engine/logic_monad.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'engine')

diff --git a/engine/logic_monad.ml b/engine/logic_monad.ml
index bf1b3e0e86..9dc5d473b9 100644
--- a/engine/logic_monad.ml
+++ b/engine/logic_monad.ml
@@ -95,7 +95,7 @@ struct
   let print_char = fun c -> (); fun () -> print_char c
 
   let timeout = fun n t -> (); fun () ->
-    Control.timeout n t (Exception Timeout)
+    Control.timeout n t () (Exception Timeout)
 
   let make f = (); fun () ->
     try f ()
-- 
cgit v1.2.3