small change

[popboot.git] / node.h

diff --git a/node.h b/node.h
index 28a828728e9109a73181baf6fde79d98198ed908..b49d0109ee042005010a2bae4eb455395db8b57c 100644 (file)
--- a/node.h
+++ b/node.h
@@ -14,7 +14,7 @@ class Node {
                virtual ~Node(){}
                void addChild(Node* node);
                const Action& action() const;
-               void execute(bool strict, const Literals& effects);
+               void execute(const Literals& effects);
                bool executed() const;
                const Literals& effects() const;