--- a/src/devices/lte/model/ue-manager.cc	Wed Dec 08 12:59:42 2010 +0100
+++ b/src/devices/lte/model/ue-manager.cc	Mon Dec 20 17:12:50 2010 +0100
@@ -38,7 +38,7 @@
 
 UeManager::~UeManager (void)
 {
-  m_ueRecords = 0;
+ delete m_ueRecords;
 }