move libthreads.h -> include/threads.h

[model-checker.git] / test / userprog.c

diff --git a/test/userprog.c b/test/userprog.c
index b45e8f9dcebe338cfa4374a75c8aaaa45e54a92b..6ad49092d7e1073ebe40bd8a868049847adc78f8 100644 (file)
--- a/test/userprog.c
+++ b/test/userprog.c
@@ -1,6 +1,6 @@
 #include <stdio.h>
 
-#include "libthreads.h"
+#include <threads.h>
 #include "librace.h"
 #include "stdatomic.h"