--- 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); } }