From 8006b24c2611a075161224606906007aa2650dd8 Mon Sep 17 00:00:00 2001
From: Enrico Tassi <Enrico.Tassi@inria.fr>
Date: Wed, 29 Jan 2014 23:12:48 +0100
Subject: STM + CoqIDE: stop_worker message and UI

---
 ide/coq.mli | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'ide/coq.mli')

diff --git a/ide/coq.mli b/ide/coq.mli
index f6f92a9a9..0b246b842 100644
--- a/ide/coq.mli
+++ b/ide/coq.mli
@@ -131,6 +131,8 @@ val mkcases    : Interface.mkcases_sty    -> Interface.mkcases_rty query
 val search     : Interface.search_sty     -> Interface.search_rty query
 val init       : Interface.init_sty       -> Interface.init_rty query
 
+val stop_worker: Interface.stop_worker_sty-> Interface.stop_worker_rty query
+
 (** A specialized version of [raw_interp] dedicated to set/unset options. *)
 
 module PrintOpt :
-- 
cgit v1.2.3