projects
/
model-checker.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
fix new bug
[model-checker.git]
/
include
/
atomic
diff --git
a/include/atomic
b/include/atomic
index 52198375aff4221a58d86326209216f5dc35e93d..5984e722b3f27fe008e6504137a26ac1b1a2d048 100644
(file)
--- a/
include/atomic
+++ b/
include/atomic
@@
-1,3
+1,8
@@
+/**
+ * @file atomic
+ * @brief C++11 atomic interface header
+ */
+
#ifndef __CXX_ATOMIC__
#define __CXX_ATOMIC__
#ifndef __CXX_ATOMIC__
#define __CXX_ATOMIC__