X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=include%2Fimpatomic.h;h=ae0796f0da4100de7d6c7a04623fb1388002303b;hb=89c68eaa8c88e6ff491a7611fdf94abddd7378ae;hp=0122c69602b33ca0b6231821f74d012468f1e884;hpb=a2176c7545c29b28598bb252718cf080a3463665;p=model-checker.git

diff --git a/include/impatomic.h b/include/impatomic.h
index 0122c69..ae0796f 100644
--- a/include/impatomic.h
+++ b/include/impatomic.h
@@ -1,3 +1,6 @@
+#ifndef __IMPATOMIC_H__
+#define __IMPATOMIC_H__
+
 #include "memoryorder.h"
 #include "cmodelint.h"
 
@@ -3985,3 +3988,4 @@ T* atomic<T*>::fetch_sub( ptrdiff_t __v__, memory_order __x__ ) volatile
 } // namespace std
 #endif
 
+#endif /* __IMPATOMIC_H__ */