X-Git-Url: https://pd.if.org/git/?p=nbds;a=blobdiff_plain;f=runtime%2Frcu.c;h=0c491334c30acd71aa966986e323cc1d4ea6d403;hp=3e74986ff025819cf1ac838a6498b32d70978716;hb=6b4f3ea4891b6c0e65dfd6d41f49aee2daa9e23d;hpb=0f6e9afb06b03647c4c5f2499ddab12f42b4340e

diff --git a/runtime/rcu.c b/runtime/rcu.c
index 3e74986..0c49133 100644
--- a/runtime/rcu.c
+++ b/runtime/rcu.c
@@ -43,7 +43,7 @@ void rcu_thread_init (int id) {
     assert(id < MAX_NUM_THREADS);
     if (pending_[id] == NULL) {
         pending_[id] = fifo_alloc(RCU_QUEUE_SCALE);
-        SYNC_ADD(&num_threads_, 1);
+        (void)SYNC_ADD(&num_threads_, 1);
     }
 }