--- a/src/simulator/scheduler-heap.cc	Tue Dec 12 14:31:16 2006 +0100
+++ b/src/simulator/scheduler-heap.cc	Tue Dec 12 14:41:39 2006 +0100
@@ -126,8 +126,11 @@
     {
       return true;
     }
-  else if (a->m_ns == b->m_ns &&
-           a->m_uid < b->m_uid)
+  else if (a->m_ns > b->m_ns)
+    {
+      return false;
+    } 
+  else if (a->m_uid < b->m_uid)
     {
       return true;
     }