diff --git a/communication_techniques/src/communication/jikes_barrier.c b/communication_techniques/src/communication/jikes_barrier.c index d148bdf..6e0772f 100644 --- a/communication_techniques/src/communication/jikes_barrier.c +++ b/communication_techniques/src/communication/jikes_barrier.c @@ -199,7 +199,7 @@ void reception(void (*on_receive)(void *)) { void *tmp; - tmp = global_head; + tmp = (void *) ((uintptr_t) global_head & ~BUFFER_MASK); global_head = global_head->next; free(tmp); }