X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fhbugs%2Ftutors%2Fhbugs_tutors_common.ml;h=dca58766a24900f743903bf9b45ddba50e90ac5a;hb=1fb8d0192e1f7ee891c53dc282c9c9f111e63e3c;hp=2f186c15dcb1682906b38eda47f32734e594d7e9;hpb=3f81a72dbdc7f2ffb17cc1ecd4e6a39270891c77;p=helm.git

diff --git a/helm/hbugs/tutors/hbugs_tutors_common.ml b/helm/hbugs/tutors/hbugs_tutors_common.ml
index 2f186c15d..dca58766a 100644
--- a/helm/hbugs/tutors/hbugs_tutors_common.ml
+++ b/helm/hbugs/tutors/hbugs_tutors_common.ml
@@ -202,8 +202,8 @@ module BuildTutor (Dsc: HbugsTutorDescription) : HbugsTutor =
               Hbugs_deity.kill slave_thread;
               Hashtbl.remove slaves musing_id
             with
-            | Hbugs_deity.Can_t_kill (pid, reason) ->
-              prerr_endline (sprintf "Unable to kill slave %d: %s" pid reason)
+            | Hbugs_deity.Can_t_kill (_, reason) ->
+                prerr_endline (sprintf "Unable to kill slave: %s" reason)
             | Not_found ->
                 prerr_endline (sprintf
                   "Can't find slave corresponding to musing %s, can't kill it"