X-Git-Url: http://plrg.eecs.uci.edu/git/?a=blobdiff_plain;ds=sidebyside;f=threads-model.h;h=2cd09ab53739de7d327de3e5758af6b7ba66465d;hb=875ebf8e11b4bdd702604785837b6b91b748900d;hp=30acd2deba1f50e27a15d1c2d74a649809cf004a;hpb=0997f5bf1b28a79066ed4abfed57f14419ee44d3;p=model-checker.git

diff --git a/threads-model.h b/threads-model.h
index 30acd2d..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 * parent_thrd = NULL);
+	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;