straighten out header includes, comment on Forward declarations

[model-checker.git] / threads.h

diff --git a/threads.h b/threads.h
index 7a21a30d8d93f49e4e0c13d37dfeb18f21260b47..38eac0a9cba43bc4107ee02f02eaaf4763b9595a 100644 (file)
--- a/threads.h
+++ b/threads.h
@@ -5,6 +5,8 @@
 
 #include "libthreads.h"
 
+typedef int thread_id_t;
+
 #define THREAD_ID_T_NONE       -1
 
 typedef enum thread_state {