X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=include%2Fstdatomic.h;h=7b3ff8004546e77e9e8996d521ebaf46e57aa994;hb=a4090d03cc1a5f5bca8f10986d74b76a9bb45371;hp=035f848d33b648eaad450e7c29d38b7b422c5060;hpb=075d78a2e09fd11b8b78b6c7b3852a42a279c4f2;p=model-checker.git

diff --git a/include/stdatomic.h b/include/stdatomic.h
index 035f848..7b3ff80 100644
--- a/include/stdatomic.h
+++ b/include/stdatomic.h
@@ -1,3 +1,8 @@
+/**
+ * @file stdatomic.h
+ * @brief C11 atomic interface header
+ */
+
 #ifndef __STDATOMIC_H__
 #define __STDATOMIC_H__
 
@@ -59,6 +64,6 @@ using std::memory_order_release;
 using std::memory_order_acq_rel;
 using std::memory_order_seq_cst;
 
-#endif
+#endif /* __cplusplus */
 
 #endif /* __STDATOMIC_H__ */