# HG changeset patch
# User wenzelm
# Date 1398328386 -7200
# Node ID b8b8b4ff8ad5936dd51eebb2d788c0cbe4e7b509
# Parent  f3932166a33dabd7d50ed90f57c07a520c69d685
retain canonical reverse order;

diff -r f3932166a33d -r b8b8b4ff8ad5 src/Pure/System/event_bus.scala
--- a/src/Pure/System/event_bus.scala	Thu Apr 24 10:30:55 2014 +0200
+++ b/src/Pure/System/event_bus.scala	Thu Apr 24 10:33:06 2014 +0200
@@ -28,5 +28,5 @@
 
   /* event invocation */
 
-  def event(x: Event) { receivers.value.reverseIterator.foreach(_ ! x) }
+  def event(x: Event) { receivers.value.iterator.foreach(_ ! x) }
 }