X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=nodestack.h;h=803d2b8e492c05a98f23a628550dd4f05265e23f;hb=a7f4b420cb8b12813d3feed76cf6af72b9803697;hp=cb281cad65b1dbf7f60892f9c656ce0061afee84;hpb=4955df9bfa3d2e961024d419069735fd6f25ac67;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();