add test from nitpick paper...

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

diff --git a/test/pending-release.c b/test/pending-release.c
index 739c45e0f675931507e35e9b656a767fdf04fb5d..e518e422379fdb3b952a2aec8c4d84b17b2c8da5 100644 (file)
--- a/test/pending-release.c
+++ b/test/pending-release.c
@@ -6,10 +6,10 @@
  */
 
 #include <stdio.h>
+#include <threads.h>
+#include <stdatomic.h>
 
-#include "libthreads.h"
 #include "librace.h"
-#include "stdatomic.h"
 
 atomic_int x;
 int var = 0;