2 files changed, 2 insertions, 2 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;
 }
diff --git a/lib/rts.h b/lib/rts.h
index 2c0722a6..68d01cb5 100644
--- a/lib/rts.h
+++ b/lib/rts.h
@@ -86,7 +86,7 @@ bool platform_write_mem(const int write_kind,
                         const mpz_t n,
                         const lbits data);
 bool platform_excl_res(const unit unit);
-unit platform_barrier(const int barrier_kind);
+unit platform_barrier();