X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=include%2Fimpatomic.h;h=2fde095ee67e6ce5498c4a8dd61d62c0779f2fec;hb=5485feb8f53f4fe816b08d854fc3e82b00c33b0b;hp=a69ba7860342ed34568a00930ed6b451a8663cee;hpb=e309adaee27786a638bcd44303ecb88351074257;p=model-checker.git

diff --git a/include/impatomic.h b/include/impatomic.h
index a69ba78..2fde095 100644
--- a/include/impatomic.h
+++ b/include/impatomic.h
@@ -110,10 +110,9 @@ inline void atomic_flag::fence( memory_order __x__ ) const volatile
                 else {  model_rmwc_action((void *)__p__, __x__); *__q__ = __t__;  __r__ = false;} \
                 __r__; })
 
-//TODO
 #define _ATOMIC_FENCE_( __a__, __x__ ) \
-({ ;})
-
+	({ model_fence_action(__x__);})
+ 
 
 #define ATOMIC_CHAR_LOCK_FREE 1
 #define ATOMIC_CHAR16_T_LOCK_FREE 1