--- a/Queue.st Mon Aug 15 15:05:02 2016 +0200
+++ b/Queue.st Mon Aug 15 15:07:23 2016 +0200
@@ -48,7 +48,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 Queues simultanously,
+ It is NOT safe when two processes access Queues simultaneously,
since accesses to the internals are not protected against process-switches.
See SharedQueue for a class which IS safe with processes and blocks
on write when full or on read when empty.