X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=blobdiff_plain;f=src%2Fthreads%2Ftest.h;h=d6b3ca836abe63ebecf63ed716a44b1ad954b43b;hp=dde08fab356d41ceb893578bfe5d6f43887fb66f;hb=59385cfe7f0fc5a66dfc1da7c2e5b817edbcae65;hpb=78ee2ff83ef8787d0cfd74dafaca125c523ea0d0

diff --git a/src/threads/test.h b/src/threads/test.h
index dde08fa..d6b3ca8 100644
--- a/src/threads/test.h
+++ b/src/threads/test.h
@@ -1,6 +1,8 @@
 #ifndef THREADS_TEST_H
 #define THREADS_TEST_H
 
+#include "threads/init.h"
+
 void test (void);
 
 #endif /* threads/test.h */