From: Brian Norris <banorris@uci.edu>
Date: Fri, 25 May 2012 23:05:23 +0000 (-0700)
Subject: nodestack: bugfix - fixup allocators for vectors
X-Git-Tag: pldi2013~392^2~42
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=ee410adc01be424c3e5e28f273153afd66a49a83;p=model-checker.git

nodestack: bugfix - fixup allocators for vectors
---

diff --git a/nodestack.h b/nodestack.h
index bd64c4a..eebfa5b 100644
--- a/nodestack.h
+++ b/nodestack.h
@@ -35,8 +35,8 @@ private:
 	static int total_nodes;
 	ModelAction *action;
 	int num_threads;
-	std::vector<bool> explored_children;
-	std::vector<bool> backtrack;
+	std::vector< bool, MyAlloc<bool> > explored_children;
+	std::vector< bool, MyAlloc<bool> > backtrack;
 };
 
 typedef std::list<class Node *, MyAlloc< class Node * > > node_list_t;