From c9a40b4c0218a83d4ec91fe3f9019dc9dbd6b142 Mon Sep 17 00:00:00 2001
From: Brian Norris <banorris@uci.edu>
Date: Tue, 11 Dec 2012 15:10:40 -0800
Subject: [PATCH] cyclegraph: bugfix - more SnapshotAlloc

---
 cyclegraph.h | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/cyclegraph.h b/cyclegraph.h
index d9fa6318..8fac5eb5 100644
--- a/cyclegraph.h
+++ b/cyclegraph.h
@@ -54,8 +54,8 @@ class CycleGraph {
 	bool hasRMWViolation;
 	bool oldRMWViolation;
 
-	std::vector<CycleNode *> rollbackvector;
-	std::vector<CycleNode *> rmwrollbackvector;
+	std::vector< CycleNode *, SnapshotAlloc<CycleNode *> > rollbackvector;
+	std::vector< CycleNode *, SnapshotAlloc<CycleNode *> > rmwrollbackvector;
 };
 
 /** @brief A node within a CycleGraph; corresponds to one ModelAction */
@@ -82,7 +82,7 @@ class CycleNode {
 	const ModelAction *action;
 
 	/** @brief The edges leading out from this node */
-	std::vector<CycleNode *, SnapshotAlloc<CycleNode *> > edges;
+	std::vector< CycleNode *, SnapshotAlloc<CycleNode *> > edges;
 
 	/** Pointer to a RMW node that reads from this node, or NULL, if none
 	 * exists */
-- 
2.34.1