From: Claudio Sacerdoti Coen Date: Wed, 16 Apr 2003 12:04:12 +0000 (+0000) Subject: State_change can now contain a state of None indicating that the proof X-Git-Tag: before_refactoring~19 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=7f83d8a253163401a8080c3c7604bfa6dc4b8271;p=helm.git State_change can now contain a state of None indicating that the proof is completed --- 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 *)