src/contrib/event-garbage-collector.cc
changeset 5919 b89ce2e9eed5
parent 5318 7802ee909df7
child 6775 0783f42a364b
--- a/src/contrib/event-garbage-collector.cc	Tue Jan 19 17:02:38 2010 +0100
+++ b/src/contrib/event-garbage-collector.cc	Tue Jan 19 17:06:18 2010 +0100
@@ -138,7 +138,7 @@
   Simulator::Run ();
   NS_TEST_EXPECT_MSG_EQ (m_events, 0, "");
   NS_TEST_EXPECT_MSG_EQ (m_counter, 50, "");
-
+  Simulator::Destroy ();
   return false;
 }