From: Brian Norris <banorris@uci.edu>
Date: Wed, 23 Jan 2013 19:10:20 +0000 (-0800)
Subject: nodestack: add const
X-Git-Tag: oopsla2013~341
X-Git-Url: http://demsky.eecs.uci.edu/git/?p=model-checker.git;a=commitdiff_plain;h=3f24c24a6fd349da74351946477b85d807709410

nodestack: add const
---

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