X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;ds=inline;f=model.cc;h=c01122191d0e712750b382f87b9c0edbfecf9aa2;hb=b85b57912810d5a9db0b214d957a843eb29b5e9d;hp=4d6d7634bf26c58eb83e2070b99df902c05b41ba;hpb=f297a4e3dc814290c43671fea54a85c7a1a2aeee;p=model-checker.git

diff --git a/model.cc b/model.cc
index 4d6d763..c011221 100644
--- a/model.cc
+++ b/model.cc
@@ -1481,6 +1481,7 @@ bool ModelChecker::resolve_promises(ModelAction *write)
 			//Make sure the promise's value matches the write's value
 			ASSERT(promise->get_value() == write->get_value());
 
+			delete(promise);
 			promises->erase(promises->begin() + promise_index);
 			resolved = true;
 		} else