threads: introduce THREAD_ID_T_NONE

[model-checker.git] / threads.h

diff --git a/threads.h b/threads.h
index b973224d7a3d1e436de2d1b7dc20673b813916b6..9787c3fb9514fdf4eee5c84503f1aedcb0e2ad31 100644 (file)
--- a/threads.h
+++ b/threads.h
@@ -5,6 +5,8 @@
 
 #include "libthreads.h"
 
+#define THREAD_ID_T_NONE       -1
+
 typedef enum thread_state {
        THREAD_CREATED,
        THREAD_RUNNING,