tests: use <stdatomic.h>
[model-checker.git] / test / rmwprog.c
index 5911e5a3cdd870820a1af60509bbbfbc1dea0868..feac7766c9f68154e169c143d0903cbf18b44141 100644 (file)
@@ -1,8 +1,8 @@
 #include <stdio.h>
-
 #include <threads.h>
+#include <stdatomic.h>
+
 #include "librace.h"
-#include "stdatomic.h"
 
 atomic_int x;