From: Brian Norris <banorris@uci.edu>
Date: Mon, 8 Oct 2012 20:51:58 +0000 (-0700)
Subject: model: stack-allocated vector should use ModelAlloc
X-Git-Tag: pldi2013~81
X-Git-Url: http://demsky.eecs.uci.edu/git/?p=model-checker.git;a=commitdiff_plain;h=2a7d60e792984f8f88128ef11d06caa310ccc557

model: stack-allocated vector should use ModelAlloc
---

diff --git a/model.cc b/model.cc
index 538b4a9..d77ba4b 100644
--- a/model.cc
+++ b/model.cc
@@ -1640,7 +1640,7 @@ ClockVector * ModelChecker::get_cv(thread_id_t tid)
 bool ModelChecker::resolve_promises(ModelAction *write)
 {
 	bool resolved = false;
-  std::vector<thread_id_t> threads_to_check;
+	std::vector< thread_id_t, ModelAlloc<thread_id_t> > threads_to_check;
 
 	for (unsigned int i = 0, promise_index = 0; promise_index < promises->size(); i++) {
 		Promise *promise = (*promises)[promise_index];