common.h: move common code (non-user) to header

[model-checker.git] / libthreads.c

diff --git a/libthreads.c b/libthreads.c
index 2e3474aaa881b0c460e3cc0e150b5fbcb7461545..3eae58fca24da4556c9dfb993faba81105e91f0b 100644 (file)
--- a/libthreads.c
+++ b/libthreads.c
@@ -2,6 +2,7 @@
 #include <stdlib.h>
 
 #include "libthreads.h"
+#include "common.h"
 
 #define STACK_SIZE (1024 * 1024)