From bc0da74104a5c70a199599f6e60dfefea99f2fbd Mon Sep 17 00:00:00 2001
From: adrian <adrian@8c4709b5-6ec9-48aa-a5cd-a96041d1645a>
Date: Wed, 12 Dec 2012 13:08:32 +0000
Subject: [PATCH] ArmArchitecture: improve destructor speed by calling clear()
 instead of erase().

git-svn-id: https://www4.informatik.uni-erlangen.de/i4svn/danceos/trunk/devel/fail@1978 8c4709b5-6ec9-48aa-a5cd-a96041d1645a
---
 src/core/sal/arm/Architecture.cc | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/src/core/sal/arm/Architecture.cc b/src/core/sal/arm/Architecture.cc
index 9dacf530..ac7df412 100644
--- a/src/core/sal/arm/Architecture.cc
+++ b/src/core/sal/arm/Architecture.cc
@@ -28,8 +28,7 @@ ArmArchitecture::~ArmArchitecture()
 	for (std::vector<Register*>::iterator it = m_Registers.begin();
 		 it != m_Registers.end(); it++)
 		delete *it;
-		it = m_Registers.erase(it);
-	}
+	m_Registers.clear();
 }
 
 } // end-of-namespace: fail