From b329a1b8e97612d269dd8c888750b88d7278182f Mon Sep 17 00:00:00 2001
From: Brian Norris <banorris@uci.edu>
Date: Wed, 23 Jan 2013 12:56:01 -0800
Subject: [PATCH] promise: SnapshotAlloc for vector

We must ensure that any new memory allocated by the model-checker uses
our private snapshotting heap, not the user program's heap.
---
 promise.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/promise.h b/promise.h
index 1f8a810..7e6e396 100644
--- a/promise.h
+++ b/promise.h
@@ -39,7 +39,7 @@ class Promise {
 
 	SNAPSHOTALLOC
  private:
-	std::vector<bool> eliminated_thread;
+	std::vector< bool, SnapshotAlloc<bool> > eliminated_thread;
 	const uint64_t value;
 	const modelclock_t expiration;
 	ModelAction * const read;
-- 
2.34.1