X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=include%2Fatomic;h=52198375aff4221a58d86326209216f5dc35e93d;hb=075d78a2e09fd11b8b78b6c7b3852a42a279c4f2;hp=8bbd988406b09e1fa8d374967b39ef7cc6263432;hpb=7e44b12a812b12b75ae1613b8ce26be8f0efcde3;p=model-checker.git

diff --git a/include/atomic b/include/atomic
index 8bbd988..5219837 100644
--- a/include/atomic
+++ b/include/atomic
@@ -1,3 +1,6 @@
+#ifndef __CXX_ATOMIC__
+#define __CXX_ATOMIC__
 
 #include "impatomic.h"
 
+#endif /* __CXX_ATOMIC__ */