diff --git a/src/include/thread.h b/src/include/thread.h
index 62c6283acf..19b69fa30d 100644
--- a/src/include/thread.h
+++ b/src/include/thread.h
@@ -5,7 +5,7 @@
 #include <arch/cpu.h>
 #include <bootstate.h>
 #include <commonlib/bsd/cb_err.h>
-#include <stdint.h>
+#include <types.h>
 
 struct thread_mutex {
 	bool locked;