X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=include%2Fatomic;h=5984e722b3f27fe008e6504137a26ac1b1a2d048;hb=dfce798347b60b1bff6df0cdb51b786f4ca02d7f;hp=52198375aff4221a58d86326209216f5dc35e93d;hpb=98952a7c75650993548c6fda82273e3460268a86;p=model-checker.git

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