From 2d0eb14312d5a7deb5099830ea5742cb3350a334 Mon Sep 17 00:00:00 2001
From: Enrico Tassi
Date: Mon, 1 Dec 2014 10:06:48 +0100
Subject: Better comment

---
 lib/remoteCounter.mli | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/lib/remoteCounter.mli b/lib/remoteCounter.mli
index 18e6b6b593..03f0f88270 100644
--- a/lib/remoteCounter.mli
+++ b/lib/remoteCounter.mli
@@ -10,7 +10,10 @@
  * scenario, the slave installs a getter that asks the master for a fresh
  * value.  In the scenario of a slave that runs after the death of the master
  * on some marshalled data, a backup of all counters status should be taken and
- * restored to avoid reusing ids. *)
+ * restored to avoid reusing ids.
+ * Counters cannot be created by threads, they must be created once and forall
+ * as toplevel module declarations. *)
+
 
 type 'a getter = unit -> 'a
 type 'a installer = ('a getter) -> unit
-- 
cgit v1.2.3