X-Git-Url: http://plrg.eecs.uci.edu/git/?p=c11tester.git;a=blobdiff_plain;f=model.cc;h=c01122191d0e712750b382f87b9c0edbfecf9aa2;hp=4d6d7634bf26c58eb83e2070b99df902c05b41ba;hb=00a4dfc8e9c23117e8e4490be5354f7d95ad73e9;hpb=f297a4e3dc814290c43671fea54a85c7a1a2aeee

diff --git a/model.cc b/model.cc
index 4d6d7634..c0112219 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