X-Git-Url: http://plrg.eecs.uci.edu/git/?p=c11tester.git;a=blobdiff_plain;f=test%2Frmwprog.c;h=5911e5a3cdd870820a1af60509bbbfbc1dea0868;hp=a74ae426ca95df7e90f63424d4aaaa3a327e7292;hb=616746ec12aae78b0d0262c009568109686cb000;hpb=e60d8c23d30a0dfe66b8426f7f2ecf576e812028

diff --git a/test/rmwprog.c b/test/rmwprog.c
index a74ae426..5911e5a3 100644
--- a/test/rmwprog.c
+++ b/test/rmwprog.c
@@ -1,6 +1,6 @@
 #include <stdio.h>
 
-#include "libthreads.h"
+#include <threads.h>
 #include "librace.h"
 #include "stdatomic.h"