X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=action.h;h=4504fd8c089c71eaa60e10d25ecbbba61c26ec5f;hb=c9719c5b5bebeed83f9864825fa93ff6bae2b575;hp=111ac31124ef89d796e8d163c1b39a097c9a2c7c;hpb=764e70356b8d387397f489f36e277470347b3e64;p=model-checker.git

diff --git a/action.h b/action.h
index 111ac31..4504fd8 100644
--- a/action.h
+++ b/action.h
@@ -50,7 +50,6 @@ public:
 
 	Node * get_node() const { return node; }
 	void set_node(Node *n) { node = n; }
-	void set_value(int val) { value = val; }
 
 	bool is_read() const;
 	bool is_write() const;