X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=include%2Fatomic;h=5984e722b3f27fe008e6504137a26ac1b1a2d048;hb=1f2a30ddc8f38f3f45d62d169b766c0c38364ecd;hp=8bbd988406b09e1fa8d374967b39ef7cc6263432;hpb=7e44b12a812b12b75ae1613b8ce26be8f0efcde3;p=model-checker.git

diff --git a/include/atomic b/include/atomic
index 8bbd988..5984e72 100644
--- a/include/atomic
+++ b/include/atomic
@@ -1,3 +1,11 @@
+/**
+ * @file atomic
+ * @brief C++11 atomic interface header
+ */
+
+#ifndef __CXX_ATOMIC__
+#define __CXX_ATOMIC__
 
 #include "impatomic.h"
 
+#endif /* __CXX_ATOMIC__ */