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

@@ -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