From 794466d7d760d937cd7e796669e39c6a9c4fb4f4 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Adrian=20B=C3=B6ckenkamp?= Date: Tue, 19 Mar 2013 13:39:18 +0100 Subject: [PATCH] ~Gem5Controller() should delete it's MemoryManager object --- src/core/sal/gem5/Gem5Controller.cc | 1 + 1 file changed, 1 insertion(+) diff --git a/src/core/sal/gem5/Gem5Controller.cc b/src/core/sal/gem5/Gem5Controller.cc index c4095ab4..36421a7d 100644 --- a/src/core/sal/gem5/Gem5Controller.cc +++ b/src/core/sal/gem5/Gem5Controller.cc @@ -30,6 +30,7 @@ Gem5Controller::~Gem5Controller() delete *it; it = m_CPUs.erase(it); } + delete m_Mem; } bool Gem5Controller::save(const std::string &path)