--- a/src/lte/helper/radio-environment-map-helper.cc	Tue Jan 31 11:51:51 2012 +0100
+++ b/src/lte/helper/radio-environment-map-helper.cc	Sun Feb 05 18:43:40 2012 +0100
@@ -207,8 +207,6 @@
   if (m_exitWhenDone)
     {
       Simulator::Stop ();
-      Simulator::Destroy ();
-      exit (0);
     }
 }