X-Git-Url: http://plrg.eecs.uci.edu/git/?p=model-checker.git;a=blobdiff_plain;f=include%2Fstdatomic.h;h=035f848d33b648eaad450e7c29d38b7b422c5060;hp=17e98a67f9480ae95de40d001665fd2acc8bbc5e;hb=7dddcdb767f02f9b0c470ac516b18ad91a35d43d;hpb=2e9b955070a194963ddb98a5cb3e16968323adec

diff --git a/include/stdatomic.h b/include/stdatomic.h
index 17e98a6..035f848 100644
--- a/include/stdatomic.h
+++ b/include/stdatomic.h
@@ -1,3 +1,5 @@
+#ifndef __STDATOMIC_H__
+#define __STDATOMIC_H__
 
 #include "impatomic.h"
 
@@ -59,3 +61,4 @@ using std::memory_order_seq_cst;
 
 #endif
 
+#endif /* __STDATOMIC_H__ */