include/: add small header comments

[model-checker.git] / include / impatomic.h

diff --git a/include/impatomic.h b/include/impatomic.h
index ae0796f0da4100de7d6c7a04623fb1388002303b..889a960b3888a1beab03d3dc75c9acf92541ea79 100644 (file)
--- 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__