X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=action.h;h=d7d86ced55de125a0a8dbd6e167e30c47bf0bdd8;hb=c7a6544c3f19d8c4d71b82871c832a866f8dbb79;hp=ad34c830f4b61d0b2a214199c5d208aa5abddca2;hpb=b5d7d602016a4640c31b79ba9598dceefa778ab6;p=model-checker.git

diff --git a/action.h b/action.h
index ad34c83..d7d86ce 100644
--- a/action.h
+++ b/action.h
@@ -182,6 +182,9 @@ public:
 	MEMALLOC
 private:
 
+	const char * get_type_str() const;
+	const char * get_mo_str() const;
+
 	/** @brief Type of action (read, write, RMW, fence, thread create, etc.) */
 	action_type type;