pull in most of atomic header file

[model-checker.git] / action.h

diff --git a/action.h b/action.h
index fff6bc8226990010bae9270a021d606f0cd5fa05..e43955dda2826d980f632bf62af4e08397594d45 100644 (file)
--- a/action.h
+++ b/action.h
@@ -9,9 +9,9 @@
 #include <cstddef>
 
 #include "threads.h"
-#include "libatomic.h"
 #include "mymemory.h"
 #include "clockvector.h"
+#include "libatomic.h"
 
 /** Note that this value can be legitimately used by a program, and
                hence by iteself does not indicate no value. */