Destroy dead actors after mc::replay() is completed (fix memory leak).

diff --git a/src/kernel/EngineImpl.cpp b/src/kernel/EngineImpl.cpp
index ab02ceb..79d4709 100644 (file)
--- a/src/kernel/EngineImpl.cpp
+++ b/src/kernel/EngineImpl.cpp
@@ -238,6 +238,7 @@ void EngineImpl::run()
 {
   if (MC_record_replay_is_active()) {
     mc::replay(MC_record_path());
+    empty_trash();
     return;
   }