X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=include%2Fimpatomic.h;h=889a960b3888a1beab03d3dc75c9acf92541ea79;hb=ac80452d8a9b319e38869c8ff1434ddebfc025a5;hp=0122c69602b33ca0b6231821f74d012468f1e884;hpb=9593acf48b245704a75d0e115d6dec1baf51f07c;p=model-checker.git

diff --git a/include/impatomic.h b/include/impatomic.h
index 0122c69..889a960 100644
--- a/include/impatomic.h
+++ b/include/impatomic.h
@@ -1,3 +1,14 @@
+/**
+ * @file impatomic.h
+ * @brief Common header for C11/C++11 atomics
+ *
+ * Note that some features are unavailable, as they require support from a true
+ * C11/C++11 compiler.
+ */
+
+#ifndef __IMPATOMIC_H__
+#define __IMPATOMIC_H__
+
 #include "memoryorder.h"
 #include "cmodelint.h"
 
@@ -3985,3 +3996,4 @@ T* atomic<T*>::fetch_sub( ptrdiff_t __v__, memory_order __x__ ) volatile
 } // namespace std
 #endif
 
+#endif /* __IMPATOMIC_H__ */