From: Brian Norris <banorris@uci.edu>
Date: Mon, 14 May 2012 20:23:24 +0000 (-0700)
Subject: action: add get_node() accessor
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=ab287cbc807422f31a4626cd755378b72e9294b3;p=c11tester.git

action: add get_node() accessor
---

diff --git a/action.h b/action.h
index 9ba9c632..cfe1f34e 100644
--- a/action.h
+++ b/action.h
@@ -33,6 +33,7 @@ public:
 
 	TreeNode * get_treenode() { return treenode; }
 	void set_node(TreeNode *n) { treenode = n; }
+	Node * get_node() { return node; }
 	void set_node(Node *n) { node = n; }
 
 	bool is_read();