X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=action.h;h=be87eca33f7400da44e308a598c6c3084044d620;hb=84d0cd2f078f4cb15c318a0fef2515feab570375;hp=82b8532dacb97b4c748620b4b5af8308d377ed6a;hpb=39c0de028fe3b1c1d229ecf715007c751ddab445;p=model-checker.git

diff --git a/action.h b/action.h
index 82b8532..be87eca 100644
--- a/action.h
+++ b/action.h
@@ -96,6 +96,7 @@ public:
 	void copy_from_new(ModelAction *newaction);
 	void set_seq_number(modelclock_t num);
 	void set_try_lock(bool obtainedlock);
+	bool is_thread_start() const;
 	bool is_relseq_fixup() const;
 	bool is_mutex_op() const;
 	bool is_lock() const;