From: Brian Norris <banorris@uci.edu>
Date: Thu, 15 Mar 2012 22:42:36 +0000 (-0700)
Subject: libthreads: make typedef for 'thread_id_t'
X-Git-Tag: pldi2013~566
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=ee547e8eac86141cfa53f3ba0dd7198a5112aff4;p=model-checker.git

libthreads: make typedef for 'thread_id_t'

Just in case we need to change it later on, let's use it as a named type.
---

diff --git a/libthreads.h b/libthreads.h
index aa7faf4..9d290a7 100644
--- a/libthreads.h
+++ b/libthreads.h
@@ -10,12 +10,14 @@ typedef enum thread_state {
 	THREAD_COMPLETED
 } thread_state;
 
+typedef int thread_id_t;
+
 struct thread {
 	void (*start_routine)();
 	void *arg;
 	ucontext_t context;
 	void *stack;
-	int id;
+	thread_id_t id;
 	thread_state state;
 };