plug a memleak -- bummer

diff --git a/src/kernel/resource/Model.cpp b/src/kernel/resource/Model.cpp
index c8b0e08..63e662a 100644 (file)
--- a/src/kernel/resource/Model.cpp
+++ b/src/kernel/resource/Model.cpp
@@ -20,6 +20,7 @@ Model::~Model()
   delete started_action_set_;
   delete failed_action_set_;
   delete finished_action_set_;
   delete started_action_set_;
   delete failed_action_set_;
   delete finished_action_set_;

+  delete ignored_action_set_;

   delete maxmin_system_;
 }
 
   delete maxmin_system_;
 }