X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=include%2Fstdatomic.h;h=d4d21984ea8a1ea37f5db767a1deffca56a05c21;hb=130a35155171503883aaf18e57f8957ce63d06e8;hp=17e98a67f9480ae95de40d001665fd2acc8bbc5e;hpb=b6b969bf49d31f44e736e67b95f98b7f834f54f1;p=model-checker.git

diff --git a/include/stdatomic.h b/include/stdatomic.h
index 17e98a6..d4d2198 100644
--- a/include/stdatomic.h
+++ b/include/stdatomic.h
@@ -1,3 +1,10 @@
+/**
+ * @file stdatomic.h
+ * @brief C11 atomic interface header
+ */
+
+#ifndef __STDATOMIC_H__
+#define __STDATOMIC_H__
 
 #include "impatomic.h"
 
@@ -57,5 +64,9 @@ using std::memory_order_release;
 using std::memory_order_acq_rel;
 using std::memory_order_seq_cst;
 
-#endif
+using std::atomic_thread_fence;
+using std::atomic_signal_fence;
+
+#endif /* __cplusplus */
 
+#endif /* __STDATOMIC_H__ */