X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fhbugs%2Fbroker%2Fhbugs_broker_registry.mli;h=ece9e07cf05c10380815581cc46d30a63555a723;hb=03d1ddf4a7fdf03fd497babd84d1963048253f0d;hp=ad0c694e13af81c2b307f10d4b3fdc19d088f807;hpb=c10d2f7a3d4929c718e9e392e6f8fb323bfec9fb;p=helm.git

diff --git a/helm/hbugs/broker/hbugs_broker_registry.mli b/helm/hbugs/broker/hbugs_broker_registry.mli
index ad0c694e1..ece9e07cf 100644
--- a/helm/hbugs/broker/hbugs_broker_registry.mli
+++ b/helm/hbugs/broker/hbugs_broker_registry.mli
@@ -79,6 +79,7 @@ class musings:
     method getByMusingId: musing_id -> client_id * tutor_id
     method getByClientId: client_id -> musing_id list
     method getByTutorId: tutor_id -> musing_id list
+    method isActive: musing_id -> bool
 
     method dump: string
     method purge: unit