Fix bug introduced when adding sem_timedwait
[akaros.git] / user / pthread / profalarm.c
index d7ca1e1..d45c054 100644 (file)
@@ -3,7 +3,7 @@
  * See LICENSE for details. */
 
 #include <pthread.h>
  * See LICENSE for details. */
 
 #include <pthread.h>
-#include <pvcalarm.h>
+#include <benchutil/pvcalarm.h>
 
 void pvcalarm_callback(void)
 {
 
 void pvcalarm_callback(void)
 {