diff options
| author | Maxime Dénès | 2017-11-27 16:48:39 +0100 |
|---|---|---|
| committer | Maxime Dénès | 2017-11-27 16:48:39 +0100 |
| commit | 4bf305af7e4688b96ec6f407b2a6f4e7e9d7a4a5 (patch) | |
| tree | 5d2534ccc35ef94aa34ccd5d96064adb92955a04 /engine | |
| parent | 201b6592f7a416c5f5b42f001fc7d629951aa90e (diff) | |
| parent | aa560c640eb3f1148c87c4343900138845729105 (diff) | |
Merge PR #6241: [lib] Generalize Control.timeout type.
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 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 () |