--- a/Queue.st Fri Oct 14 00:47:40 2016 +0200
+++ b/Queue.st Fri Oct 14 00:48:43 2016 +0200
@@ -49,7 +49,7 @@
and another element is to be added.
Likewise, it will report an error if it is empty and an element is to be removed.
- It is NOT safe when two processes access instances of Queue simultaneously,
+ It is NOT safe when two processes access the same queue-instance simultaneously,
since accesses to the internals are not protected against process-switches.
See SharedQueue for a class which IS safe w.r.t. processes and which blocks
on write when full or on read when empty.