From: Brian Norris <banorris@uci.edu>
Date: Thu, 21 Jun 2012 18:16:38 +0000 (-0700)
Subject: action: add const qualifier
X-Git-Tag: pldi2013~389^2^2~9
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=ceedfc78a02fed2f0eb6d4e699969526660c2123;p=model-checker.git

action: add const qualifier
---

diff --git a/action.cc b/action.cc
index 9f95727..6627714 100644
--- a/action.cc
+++ b/action.cc
@@ -144,7 +144,7 @@ bool ModelAction::happens_before(ModelAction *act)
 	return act->cv->synchronized_since(this);
 }
 
-void ModelAction::print(void)
+void ModelAction::print(void) const
 {
 	const char *type_str;
 	switch (this->type) {
diff --git a/action.h b/action.h
index ae4afb2..8ccebe3 100644
--- a/action.h
+++ b/action.h
@@ -33,7 +33,7 @@ class ModelAction {
 public:
 	ModelAction(action_type_t type, memory_order order, void *loc, int value);
 	~ModelAction();
-	void print(void);
+	void print(void) const;
 
 	thread_id_t get_tid() const { return tid; }
 	action_type get_type() const { return type; }