X-Git-Url: http://plrg.eecs.uci.edu/git/?a=blobdiff_plain;f=test%2Fpending-release.c;h=e518e422379fdb3b952a2aec8c4d84b17b2c8da5;hb=a64ca6ed8ef09fb2a974d44315404075cbf365fe;hp=d74dcca642ba74e4ec44564aeb3118de0c396483;hpb=616746ec12aae78b0d0262c009568109686cb000;p=model-checker.git

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