nodestack: register ModelExecution class w/in NodeStack
[model-checker.git] / include / atomic
1 /**
2  * @file atomic
3  * @brief C++11 atomic interface header
4  */
5
6 #ifndef __CXX_ATOMIC__
7 #define __CXX_ATOMIC__
8
9 #include "impatomic.h"
10
11 #endif /* __CXX_ATOMIC__ */