X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=threads-model.h;h=2cd09ab53739de7d327de3e5758af6b7ba66465d;hb=c4c6c997cb5d2d651d4dfa76390a42592432d266;hp=fd0314ad6b9fa34ac5a42c0fd9cfd94f6f552753;hpb=09c3eb5539455e82dcb357fbce82bf5974c3a37c;p=model-checker.git

diff --git a/threads-model.h b/threads-model.h
index fd0314a..2cd09ab 100644
--- a/threads-model.h
+++ b/threads-model.h
@@ -41,7 +41,7 @@ class ModelAction;
 class Thread {
 public:
 	Thread(thread_id_t tid);
-	Thread(thrd_t *t, void (*func)(void *), void *a);
+	Thread(thrd_t *t, void (*func)(void *), void *a, Thread *parent);
 	~Thread();
 	void complete();
 
@@ -128,7 +128,7 @@ private:
 	int create_context();
 
 	/** @brief The parent Thread which created this Thread */
-	Thread *parent;
+	Thread * const parent;
 
 	/** @brief The THREAD_CREATE ModelAction which created this Thread */
 	ModelAction *creation;