From 3f24c24a6fd349da74351946477b85d807709410 Mon Sep 17 00:00:00 2001
From: Brian Norris <banorris@uci.edu>
Date: Wed, 23 Jan 2013 11:10:20 -0800
Subject: [PATCH] nodestack: add const

---
 nodestack.cc | 2 +-
 nodestack.h  | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/nodestack.cc b/nodestack.cc
index e080015..404339b 100644
--- 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 13c6d09..7e88912 100644
--- 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
-- 
2.34.1