ruby: Disabled RubyEventQueue's deletion of its home-grown priority heap.

Temporarily to fix unusual memory problem.

diff --git a/src/mem/ruby/eventqueue/RubyEventQueue.cc b/src/mem/ruby/eventqueue/RubyEventQueue.cc
index 1ac32ccf21d71a7bddb66a302597c95e450fbce1..4a979942ffe699057cea8431b7834fea2ed411f7 100644 (file)
--- a/src/mem/ruby/eventqueue/RubyEventQueue.cc
+++ b/src/mem/ruby/eventqueue/RubyEventQueue.cc
@@ -49,7 +49,7 @@ RubyEventQueue::RubyEventQueue()
 
 RubyEventQueue::~RubyEventQueue()
 {
-  delete m_prio_heap_ptr;
+  // delete m_prio_heap_ptr;
 }
 
 void RubyEventQueue::init()