nodestack: add const

[model-checker.git] / nodestack.cc

diff --git a/nodestack.cc b/nodestack.cc
index e0800156f56178a0cfa5f69d4ad1026a316460f8..404339b6ebcf033b96b55f6b66aa4832c4dc1259 100644 (file)
--- a/nodestack.cc
+++ b/nodestack.cc
@@ -90,7 +90,7 @@ Node::~Node()
 }
 
 /** Prints debugging info for the ModelAction associated with this Node */
-void Node::print()
+void Node::print() const
 {
        action->print();
        model_print("          backtrack: %s", backtrack_empty() ? "empty" : "non-empty ");