X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=include%2Fatomic;h=5984e722b3f27fe008e6504137a26ac1b1a2d048;hb=79f51bf7df7ed2c8095b0c2d7f730db6ccb9394a;hp=52198375aff4221a58d86326209216f5dc35e93d;hpb=075d78a2e09fd11b8b78b6c7b3852a42a279c4f2;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__