From 88d80fee062a6c63fae9fb8f9eccfde42dfbebde Mon Sep 17 00:00:00 2001
From: Brian Norris <banorris@uci.edu>
Date: Mon, 21 May 2012 11:24:43 -0700
Subject: [PATCH] nodestack: allocate from "mymemory" region

---
 nodestack.h | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/nodestack.h b/nodestack.h
index 2fd84dde..3a0ee74c 100644
--- a/nodestack.h
+++ b/nodestack.h
@@ -5,6 +5,7 @@
 #include <vector>
 #include <cstddef>
 #include "threads.h"
+#include "mymemory.h"
 
 class ModelAction;
 
@@ -26,6 +27,8 @@ public:
 	void print();
 
 	static int get_total_nodes() { return total_nodes; }
+
+	MEMALLOC
 private:
 	void explore(thread_id_t tid);
 
@@ -48,6 +51,8 @@ public:
 	void reset_execution();
 
 	void print();
+
+	MEMALLOC
 private:
 	node_list_t node_list;
 	node_list_t::iterator iter;
-- 
2.34.1