X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=nodestack.h;h=c09b628b4ffc9a8f91a7997f628f3234c1e6b7df;hb=b81be9611238c9485f1912fa1e9cab26b5df6fb6;hp=0e952417b16c87a484712a94de4953bebc984d96;hpb=11d6c99c6e7e943a8a4c4d96bc4798acc55bee26;p=model-checker.git

diff --git a/nodestack.h b/nodestack.h
index 0e95241..c09b628 100644
--- a/nodestack.h
+++ b/nodestack.h
@@ -46,6 +46,7 @@ public:
 	void add_read_from(const ModelAction *act);
 
 	void print();
+	void print_may_read_from();
 
 	MEMALLOC
 private: