X-Git-Url: http://demsky.eecs.uci.edu/git/?p=model-checker.git;a=blobdiff_plain;f=test%2Freleaseseq.c;h=cbb8ef5630111d651788729c75897a845983167c;hp=27f2fb1cb8e5f5a357ce3da6a981f5e223538281;hb=616746ec12aae78b0d0262c009568109686cb000;hpb=e60d8c23d30a0dfe66b8426f7f2ecf576e812028

diff --git a/test/releaseseq.c b/test/releaseseq.c
index 27f2fb1..cbb8ef5 100644
--- a/test/releaseseq.c
+++ b/test/releaseseq.c
@@ -6,7 +6,7 @@
 
 #include <stdio.h>
 
-#include "libthreads.h"
+#include <threads.h>
 #include "librace.h"
 #include "stdatomic.h"