1 files changed, 1 insertions, 1 deletions
diff --git a/lib/rts.c b/lib/rts.c
index 57abbc3c..edae3965 100644
--- a/lib/rts.c
+++ b/lib/rts.c
@@ -333,7 +333,7 @@ bool platform_excl_res(const unit unit)
     return true;
 }
 
-unit platform_barrier(const int barrier_kind)
+unit platform_barrier()
 {
     return UNIT;
 }