move libthreads.h -> include/threads.h

[model-checker.git] / test / pending-release.c

diff --git a/test/pending-release.c b/test/pending-release.c
index 739c45e0f675931507e35e9b656a767fdf04fb5d..d74dcca642ba74e4ec44564aeb3118de0c396483 100644 (file)
--- a/test/pending-release.c
+++ b/test/pending-release.c
@@ -7,7 +7,7 @@
 
 #include <stdio.h>
 
-#include "libthreads.h"
+#include <threads.h>
 #include "librace.h"
 #include "stdatomic.h"