fixed a typo (inside a comment)

[helm.git] / helm / hbugs / broker / hbugs_broker_registry.mli

diff --git a/helm/hbugs/broker/hbugs_broker_registry.mli b/helm/hbugs/broker/hbugs_broker_registry.mli
index ad0c694e13af81c2b307f10d4b3fdc19d088f807..ece9e07cf05c10380815581cc46d30a63555a723 100644 (file)
--- 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