From 7f83d8a253163401a8080c3c7604bfa6dc4b8271 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Wed, 16 Apr 2003 12:04:12 +0000 Subject: [PATCH] State_change can now contain a state of None indicating that the proof is completed --- helm/hbugs/common/hbugs_types.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 *) -- 2.39.2