X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=nodestack.h;h=974f1a94ad10cefbf59d62b89575de5595879c84;hb=c01d975387b4fc4b711acbdbdc19e3690985adec;hp=11440e5ae5680af381842c3ef81e637dd0e16ee9;hpb=87273fd76240454e85a233c34b93463fa681480b;p=model-checker.git

diff --git a/nodestack.h b/nodestack.h
index 11440e5..974f1a9 100644
--- a/nodestack.h
+++ b/nodestack.h
@@ -52,7 +52,7 @@ private:
 
 	/** The set of ModelActions that this the action at this Node may read
 	 *  from. Only meaningful if this Node represents a 'read' action. */
-	action_set_t may_read_from;
+	action_set_t *may_read_from;
 };
 
 typedef std::list<class Node *, MyAlloc< class Node * > > node_list_t;