move libthreads.h -> include/threads.h

[model-checker.git] / test / double-relseq.c

diff --git a/test/double-relseq.c b/test/double-relseq.c
index 369265a7d6246eb3a250ac1297821d53189ecf7f..53147b72035e914bb095daa74eee3a968557de0b 100644 (file)
--- a/test/double-relseq.c
+++ b/test/double-relseq.c
@@ -11,7 +11,7 @@
 
 #include <stdio.h>
 
-#include "libthreads.h"
+#include <threads.h>
 #include "librace.h"
 #include "stdatomic.h"