include: add multiple-inclusion guards
[model-checker.git] / include / atomic
index 8bbd988406b09e1fa8d374967b39ef7cc6263432..52198375aff4221a58d86326209216f5dc35e93d 100644 (file)
@@ -1,3 +1,6 @@
+#ifndef __CXX_ATOMIC__
+#define __CXX_ATOMIC__
 
 #include "impatomic.h"
 
+#endif /* __CXX_ATOMIC__ */