X-Git-Url: http://plrg.eecs.uci.edu/git/?a=blobdiff_plain;f=include%2Fcmodelint.h;h=d6cd8f9bd8b104206f2efb3b976b270e28c3d713;hb=7be1e69a98941b9fade77203f5f509510dda7ef6;hp=0355a47e3b8df1df64dab9d99b6f0bea4dae88d8;hpb=b796e8fd2555099af225ee1c3f9194bc14f6fa15;p=c11tester.git

diff --git a/include/cmodelint.h b/include/cmodelint.h
index 0355a47e..d6cd8f9b 100644
--- a/include/cmodelint.h
+++ b/include/cmodelint.h
@@ -22,6 +22,7 @@ void model_rmwc_action(void *obj, memory_order ord);
 void model_fence_action(memory_order ord);
 
 uint64_t model_rmwr_action_helper(void *obj, int atomic_index, const char *position);
+uint64_t model_rmwrcas_action_helper(void *obj, int atomic_index, const char *position);
 void model_rmw_action_helper(void *obj, uint64_t val, int atomic_index, const char *position);
 void model_rmwc_action_helper(void *obj, int atomic_index, const char *position);
 // void model_fence_action_helper(int atomic_index);