diff options
| author | Enrico Tassi | 2014-01-24 14:37:45 +0100 |
|---|---|---|
| committer | Enrico Tassi | 2014-01-26 14:20:52 +0100 |
| commit | 8c0f9b63cb923a6cb6682124cd48db5da391075c (patch) | |
| tree | c34f2972e3e336528648e5d0457de68b5e719e29 /toplevel/stm.mli | |
| parent | 3afdca3562b9dcadd9b16991bd8716f38a55f2c8 (diff) | |
-schedule-vi-checking ported to spawn
Diffstat (limited to 'toplevel/stm.mli')
| -rw-r--r-- | toplevel/stm.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/toplevel/stm.mli b/toplevel/stm.mli index dddb7defe1..158f8820e6 100644 --- a/toplevel/stm.mli +++ b/toplevel/stm.mli @@ -44,7 +44,7 @@ val join : unit -> unit type tasks val dump : unit -> tasks -val check_task : string -> tasks -> int -> unit +val check_task : string -> tasks -> int -> bool val info_tasks : tasks -> (string * float * int) list (* Id of the tip of the current branch *) |