include: add <atomic> header

[model-checker.git] / include / atomic

diff --git a/include/atomic b/include/atomic
new file mode 100644 (file)
index 0000000..8bbd988
--- /dev/null
+++ b/include/atomic
@@ -0,0 +1,3 @@
+
+#include "impatomic.h"
+