nodestack: add const

[model-checker.git] / nodestack.h

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