tests: use <stdatomic.h>
[model-checker.git] / test / double-relseq.c
index 53147b72035e914bb095daa74eee3a968557de0b..ebf0dc791e4a497cc86f41665025810962822c17 100644 (file)
  */
 
 #include <stdio.h>
-
 #include <threads.h>
+#include <stdatomic.h>
+
 #include "librace.h"
-#include "stdatomic.h"
 
 atomic_int x;
 int var = 0;