diff options
author | Emilio Jesus Gallego Arias <e+git@x80.org> | 2017-11-24 18:43:12 +0100 |
---|---|---|
committer | Emilio Jesus Gallego Arias <e+git@x80.org> | 2017-11-24 22:04:26 +0100 |
commit | aa560c640eb3f1148c87c4343900138845729105 (patch) | |
tree | 709db53a99baabbe8f7984396d86128b70dd4f8a /engine | |
parent | c1e670b386f83ed78104a6eb6e4d17cc1d906439 (diff) |
[lib] Generalize Control.timeout type.
We also remove some internal implementation details from the mli file,
there due historical reasons.
Diffstat (limited to 'engine')
-rw-r--r-- | engine/logic_monad.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/engine/logic_monad.ml b/engine/logic_monad.ml index bf1b3e0e8..9dc5d473b 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 () |