X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fhbugs%2Fcommon%2Fhbugs_types.ml;h=ebfa179941430605e843045ad8761fb79151c798;hb=9f60b3b0f4460aec52ec241037f6c475b421dd15;hp=3f5b2f4cb5a4320f029bbe2e676047ba74f277f0;hpb=5e812d5d92dac3e2b82eec5a4b6b1033b458f3f3;p=helm.git

diff --git a/helm/hbugs/common/hbugs_types.ml b/helm/hbugs/common/hbugs_types.ml
index 3f5b2f4cb..ebfa17994 100644
--- a/helm/hbugs/common/hbugs_types.ml
+++ b/helm/hbugs/common/hbugs_types.ml
@@ -71,7 +71,7 @@ type message =
   | Unregister_client of client_id            (* client id *)
   | List_tutors of client_id                  (* client_id *)
   | Subscribe of client_id * tutor_id list    (* client id, tutor id list *)
-  | State_change of client_id * state         (* client_id, new state *)
+  | State_change of client_id * state option  (* client_id, new state *)
   | Wow of client_id                          (* client_id *)
 
   (* tutor -> broker *)