X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=include%2Fimpatomic.h;h=889a960b3888a1beab03d3dc75c9acf92541ea79;hb=4ee9f33221f490599093e74b527ba7e401133f96;hp=ae0796f0da4100de7d6c7a04623fb1388002303b;hpb=89c68eaa8c88e6ff491a7611fdf94abddd7378ae;p=model-checker.git

diff --git a/include/impatomic.h b/include/impatomic.h
index ae0796f..889a960 100644
--- a/include/impatomic.h
+++ b/include/impatomic.h
@@ -1,3 +1,11 @@
+/**
+ * @file impatomic.h
+ * @brief Common header for C11/C++11 atomics
+ *
+ * Note that some features are unavailable, as they require support from a true
+ * C11/C++11 compiler.
+ */
+
 #ifndef __IMPATOMIC_H__
 #define __IMPATOMIC_H__