fixup merge a bit

[c11tester.git] / include / cmodelint.h

diff --git a/include/cmodelint.h b/include/cmodelint.h
index 0355a47e3b8df1df64dab9d99b6f0bea4dae88d8..d6cd8f9bd8b104206f2efb3b976b270e28c3d713 100644 (file)
--- 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);