X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=nodestack.h;fp=nodestack.h;h=803d2b8e492c05a98f23a628550dd4f05265e23f;hb=b8b39c87557325a384faa45d0cae56a6f71f52b1;hp=cb281cad65b1dbf7f60892f9c656ce0061afee84;hpb=07d9e344693c6d2b85f821447be80deaee118b65;p=model-checker.git

diff --git a/nodestack.h b/nodestack.h
index cb281ca..803d2b8 100644
--- a/nodestack.h
+++ b/nodestack.h
@@ -90,6 +90,7 @@ public:
 	bool get_promise(unsigned int i);
 	bool increment_promise();
 	bool promise_empty();
+	enabled_type_t *get_enabled_array() {return enabled_array;}
 
 	void add_relseq_break(const ModelAction *write);
 	const ModelAction * get_relseq_break();