needed to add the library for threads directly

kern/synchprobs/traffic_synch.c

@@ -2,6 +2,7 @@
 #include <lib.h>
 #include <synchprobs.h>
 #include <synch.h>
+#include <thread.h>
 #include <opt-A1.h>
 
 /*