X-Git-Url: http://plrg.eecs.uci.edu/git/?a=blobdiff_plain;f=include%2Fatomic;h=5984e722b3f27fe008e6504137a26ac1b1a2d048;hb=4a86aaeab8ac67de02b4c692dead5fba243ab09b;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__ */