model: stack-allocated vector should use ModelAlloc

diff --git a/model.cc b/model.cc
index 538b4a9e37c35a32c69bef58cd21eeadf0ad663c..d77ba4bdb7982b11757642d7ddb253703ecf7109 100644 (file)
--- 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];