X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=include%2Fimpatomic.h;h=55486197c74c2834ac58b6a8ab507529835212f6;hb=02558d484765370cd00ff15008412aa4a15eea11;hp=60e5d365efffc7bc365ef197be47275d31c23ae8;hpb=beedbb56b50163e4fbf2cbc44785ebd962d1692d;p=model-checker.git

diff --git a/include/impatomic.h b/include/impatomic.h
index 60e5d36..5548619 100644
--- a/include/impatomic.h
+++ b/include/impatomic.h
@@ -3902,11 +3902,11 @@ T* atomic<T*>::fetch_sub( ptrdiff_t __v__, memory_order __x__ ) volatile
 #ifdef __cplusplus
 extern "C" {
 #endif
-inline void atomic_thread_fence(memory_order order)
+static inline void atomic_thread_fence(memory_order order)
 { _ATOMIC_FENCE_(order); }
 
 /** @todo Do we want to try to support a user's signal-handler? */
-inline void atomic_signal_fence(memory_order order)
+static inline void atomic_signal_fence(memory_order order)
 { /* No-op? */ }
 #ifdef __cplusplus
 }