X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=action.h;fp=action.h;h=abf55318cd3ba379ea198420fad4ce70bfc570ea;hb=776279c18c4a4e6b763c4aeffc65fafe37205824;hp=61c7c4cb9f7b5c7ffc15d270792ad856cdfe80e8;hpb=1ecf5bd03252dd97fa89b8528820b84adf810d07;p=model-checker.git

diff --git a/action.h b/action.h
index 61c7c4c..abf5531 100644
--- a/action.h
+++ b/action.h
@@ -106,6 +106,7 @@ public:
 	void set_seq_number(modelclock_t num);
 	void set_try_lock(bool obtainedlock);
 	bool is_thread_start() const;
+	bool is_thread_join() const;
 	bool is_relseq_fixup() const;
 	bool is_mutex_op() const;
 	bool is_lock() const;