From 0637fe0bfd626711b2535cbdf5c40ba67fa7cdfe Mon Sep 17 00:00:00 2001
From: Derek Hower <drh5@cs.wisc.edu>
Date: Thu, 10 Sep 2009 21:19:54 -0500
Subject: [PATCH] ruby: removed SMT-related Sequencer assert

---
 src/mem/ruby/system/Sequencer.cc | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/mem/ruby/system/Sequencer.cc b/src/mem/ruby/system/Sequencer.cc
index a342550ef..7d032992a 100644
--- a/src/mem/ruby/system/Sequencer.cc
+++ b/src/mem/ruby/system/Sequencer.cc
@@ -375,7 +375,6 @@ bool Sequencer::isReady(const RubyRequest& request, bool dont_set) {
     return false;
   }
 
-  assert(request.proc_id != 100);
   if (m_servicing_atomic != 200 && m_servicing_atomic != request.proc_id) {
     assert(m_atomics_counter > 0);
     return false;