nodestack: add const

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 ");

diff --git a/nodestack.h b/nodestack.h
index 13c6d09a7c7c39b88ef903012dd91449e37c7239..7e88912e3e071de7f47e5a139e105a5a61d11869 100644 (file)
--- a/nodestack.h
+++ b/nodestack.h
@@ -99,7 +99,7 @@ public:
        bool increment_relseq_break();
        bool relseq_break_empty() const;
 
-       void print();
+       void print() const;
        void print_may_read_from();
 
        MEMALLOC