X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2FmatitaGuiTypes.mli;h=ce5c3c3d9718cb288b55bd88304de2c23dd2d587;hb=9d3f004fe43b3c0df85f1ca27662538e4686c0f4;hp=f75769fb0daccdc65168e3160db4716770e7a0f0;hpb=929c84c392a955e8a5f3287fc770227a1dfd5587;p=helm.git

diff --git a/matita/matita/matitaGuiTypes.mli b/matita/matita/matitaGuiTypes.mli
index f75769fb0..ce5c3c3d9 100644
--- a/matita/matita/matitaGuiTypes.mli
+++ b/matita/matita/matitaGuiTypes.mli
@@ -30,6 +30,8 @@ object
 
     (** {2 Utility methods} *)
   method loadScript: string -> unit
+
+  method kill_worker: unit -> unit
 end
 
 type paste_kind = [ `Term | `Pattern ]