X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=test%2Fdouble-relseq.c;h=ebf0dc791e4a497cc86f41665025810962822c17;hb=ffc110b3aaa80564dbf85f3c6a9049efd40571f1;hp=53147b72035e914bb095daa74eee3a968557de0b;hpb=616746ec12aae78b0d0262c009568109686cb000;p=model-checker.git

diff --git a/test/double-relseq.c b/test/double-relseq.c
index 53147b7..ebf0dc7 100644
--- a/test/double-relseq.c
+++ b/test/double-relseq.c
@@ -10,10 +10,10 @@
  */
 
 #include <stdio.h>
-
 #include <threads.h>
+#include <stdatomic.h>
+
 #include "librace.h"
-#include "stdatomic.h"
 
 atomic_int x;
 int var = 0;