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

diff --git a/test/releaseseq.c b/test/releaseseq.c
index cbb8ef5..c4e2c17 100644
--- a/test/releaseseq.c
+++ b/test/releaseseq.c
@@ -5,10 +5,10 @@
  */
 
 #include <stdio.h>
-
 #include <threads.h>
+#include <stdatomic.h>
+
 #include "librace.h"
-#include "stdatomic.h"
 
 atomic_int x;
 int var = 0;