action: remove unused ModelAction::set_value()

[model-checker.git] / action.h

diff --git a/action.h b/action.h
index 111ac31124ef89d796e8d163c1b39a097c9a2c7c..4504fd8c089c71eaa60e10d25ecbbba61c26ec5f 100644 (file)
--- 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;