From: Brian Norris <banorris@uci.edu>
Date: Wed, 11 Jul 2012 19:15:06 +0000 (-0700)
Subject: action: remove unused ModelAction::set_value()
X-Git-Tag: pldi2013~366
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=c9719c5b5bebeed83f9864825fa93ff6bae2b575;p=model-checker.git

action: remove unused ModelAction::set_value()
---

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;