model: don't "leak" promises

diff --git a/model.cc b/model.cc
index 25f85d0ee4403ebb1b6ef00531cf872bbdd29892..b2bb6e1b5ff137b3524db238bdfa7c5f87f1f972 100644 (file)
--- a/model.cc
+++ b/model.cc
@@ -49,6 +49,11 @@ ModelChecker::~ModelChecker()
        delete obj_thrd_map;
        delete obj_map;
        delete action_trace;
+
+       for (unsigned int i = 0; i < promises->size(); i++)
+               delete (*promises)[i];
+       delete promises;
+
        delete thrd_last_action;
        delete node_stack;
        delete scheduler;