X-Git-Url: https://git.ucc.asn.au/?a=blobdiff_plain;f=Kernel%2Finclude%2Fthreads_int.h;h=f5c7b1b85508c413d553a2622483995cdf992e71;hb=6e1cf1d50bca85f01b5f802b1a76f090e362bf05;hp=ed2af53dd3cd5908d5c69cf48d46f63075589dc0;hpb=881a49e0164c582d24db527e474f587a8b5e0c32;p=tpg%2Facess2.git

diff --git a/Kernel/include/threads_int.h b/Kernel/include/threads_int.h
index ed2af53d..f5c7b1b8 100644
--- a/Kernel/include/threads_int.h
+++ b/Kernel/include/threads_int.h
@@ -6,6 +6,7 @@
 #define _THREADS_INT_H_
 
 #include <threads.h>
+#include <proc.h>
 
 /**
  * \brief IPC Message