X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=action.h;h=d7d86ced55de125a0a8dbd6e167e30c47bf0bdd8;hb=981465809f7f1fdf2693daf099be5e5f75967ed8;hp=ad34c830f4b61d0b2a214199c5d208aa5abddca2;hpb=473bdc841f3b03b722911a5fa0b4f21ba3a217ed;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;