- implemented real thread killing (in place of the previous fake implementation)

[helm.git] / helm / hbugs / tutors / hbugs_deity.mli

diff --git a/helm/hbugs/tutors/hbugs_deity.mli b/helm/hbugs/tutors/hbugs_deity.mli
index f5f3dd5a48f55faa8b9a2aa55d6ef5832d50d1fd..8ec15c0fe0d853dbecc16e4097bffcbb3263fbe1 100644 (file)
--- a/helm/hbugs/tutors/hbugs_deity.mli
+++ b/helm/hbugs/tutors/hbugs_deity.mli
@@ -26,8 +26,8 @@
  *  http://helm.cs.unibo.it/
  *)
 
-exception Can_t_kill of int * string
+exception Can_t_kill of Thread.t * string
 
-val create: ('a -> 'b) -> 'a -> int
-val kill: int -> unit
+val create: ('a -> 'b) -> 'a -> Thread.t
+val kill: Thread.t -> unit