From 4e724634839726aa11534f16e4bfb95cd81232a4 Mon Sep 17 00:00:00 2001
From: Enrico Tassi
Date: Wed, 23 Jul 2014 11:54:36 +0200
Subject: STM: code restructured to reuse task queue for tactics

---
 ide/interface.mli | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'ide/interface.mli')

diff --git a/ide/interface.mli b/ide/interface.mli
index 4e5e4a9cd7..4dca41a88d 100644
--- a/ide/interface.mli
+++ b/ide/interface.mli
@@ -206,7 +206,7 @@ type interp_sty = (raw * verbose) * string
 (* spiwack: [Inl] for safe and [Inr] for unsafe. *)
 type interp_rty = state_id * (string,string) Util.union
 
-type stop_worker_sty = int
+type stop_worker_sty = string
 type stop_worker_rty = unit
 
 
-- 
cgit v1.2.3