X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=include%2Fatomic;h=52198375aff4221a58d86326209216f5dc35e93d;hb=7dddcdb767f02f9b0c470ac516b18ad91a35d43d;hp=8bbd988406b09e1fa8d374967b39ef7cc6263432;hpb=2e9b955070a194963ddb98a5cb3e16968323adec;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__ */