diff options
Diffstat (limited to 'ide/coqOps.mli')
-rw-r--r-- | ide/coqOps.mli | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/ide/coqOps.mli b/ide/coqOps.mli index cde6f3d00..4669f016d 100644 --- a/ide/coqOps.mli +++ b/ide/coqOps.mli @@ -21,6 +21,7 @@ object method backtrack_last_phrase : unit task method initialize : unit task method join_document : unit task + method stop_worker : int -> unit task method get_n_errors : int method get_errors : (int * string) list |