X-Git-Url: http://plrg.eecs.uci.edu/git/?p=model-checker.git;a=blobdiff_plain;f=include%2Fcstdatomic;h=b44109713697838f74f209647ae0e097ba932e01;hp=8bbd988406b09e1fa8d374967b39ef7cc6263432;hb=0b9a8924695870c15bc39feb6ec96d525954eaba;hpb=89c68eaa8c88e6ff491a7611fdf94abddd7378ae

diff --git a/include/cstdatomic b/include/cstdatomic
index 8bbd988..b441097 100644
--- a/include/cstdatomic
+++ b/include/cstdatomic
@@ -1,3 +1,7 @@
+/**
+ * @file cstdatomic
+ * @brief C11 atomic interface header
+ */
 
 #include "impatomic.h"