]> matita.cs.unibo.it Git - helm.git/commitdiff
State_change can now contain a state of None indicating that the proof
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 16 Apr 2003 12:04:12 +0000 (12:04 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 16 Apr 2003 12:04:12 +0000 (12:04 +0000)
is completed

helm/hbugs/common/hbugs_types.ml

index 3f5b2f4cb5a4320f029bbe2e676047ba74f277f0..ebfa179941430605e843045ad8761fb79151c798 100644 (file)
@@ -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 *)