From 2a7d60e792984f8f88128ef11d06caa310ccc557 Mon Sep 17 00:00:00 2001
From: Brian Norris <banorris@uci.edu>
Date: Mon, 8 Oct 2012 13:51:58 -0700
Subject: [PATCH] model: stack-allocated vector should use ModelAlloc

---
 model.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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];
-- 
2.34.1