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

diff --git a/test/rmwprog.c b/test/rmwprog.c
index 5911e5a..feac776 100644
--- a/test/rmwprog.c
+++ b/test/rmwprog.c
@@ -1,8 +1,8 @@
 #include <stdio.h>
-
 #include <threads.h>
+#include <stdatomic.h>
+
 #include "librace.h"
-#include "stdatomic.h"
 
 atomic_int x;