From: Brian Norris <banorris@uci.edu>
Date: Tue, 11 Dec 2012 23:10:40 +0000 (-0800)
Subject: cyclegraph: bugfix - more SnapshotAlloc
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=c11tester.git;a=commitdiff_plain;h=c9a40b4c0218a83d4ec91fe3f9019dc9dbd6b142

cyclegraph: bugfix - more SnapshotAlloc
---

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 */