X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=include%2Fstdatomic.h;h=d4d21984ea8a1ea37f5db767a1deffca56a05c21;hb=09c3eb5539455e82dcb357fbce82bf5974c3a37c;hp=7b3ff8004546e77e9e8996d521ebaf46e57aa994;hpb=a4090d03cc1a5f5bca8f10986d74b76a9bb45371;p=model-checker.git

diff --git a/include/stdatomic.h b/include/stdatomic.h
index 7b3ff80..d4d2198 100644
--- a/include/stdatomic.h
+++ b/include/stdatomic.h
@@ -64,6 +64,9 @@ using std::memory_order_release;
 using std::memory_order_acq_rel;
 using std::memory_order_seq_cst;
 
+using std::atomic_thread_fence;
+using std::atomic_signal_fence;
+
 #endif /* __cplusplus */
 
 #endif /* __STDATOMIC_H__ */