diff -r 3b51f4defa0d -r cc159aa06eff src/mem/ruby/recorder/CacheRecorder.cc --- a/src/mem/ruby/recorder/CacheRecorder.cc Tue Apr 02 12:46:49 2013 -0400 +++ b/src/mem/ruby/recorder/CacheRecorder.cc Fri Apr 05 21:14:45 2013 -0500 @@ -61,7 +61,7 @@ CacheRecorder::~CacheRecorder() { if (m_uncompressed_trace != NULL) { - delete m_uncompressed_trace; + delete [] m_uncompressed_trace; m_uncompressed_trace = NULL; } m_seq_map.clear(); diff -r 3b51f4defa0d -r cc159aa06eff src/mem/ruby/system/System.cc --- a/src/mem/ruby/system/System.cc Tue Apr 02 12:46:49 2013 -0400 +++ b/src/mem/ruby/system/System.cc Fri Apr 05 21:14:45 2013 -0500 @@ -331,7 +331,7 @@ memory_trace_size); m_mem_vec_ptr->populatePages(uncompressed_trace); - delete uncompressed_trace; + delete [] uncompressed_trace; uncompressed_trace = NULL; }