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

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;