From deac8bfb8c0c210eb36cb0a21ae72a16d2c6adcf Mon Sep 17 00:00:00 2001
From: Eggert Jung <eggert.jung@tu-bs.de>
Date: Tue, 20 May 2025 20:21:41 +0200
Subject: [PATCH] fix )

---
 sync/ticketlock.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/sync/ticketlock.cc b/sync/ticketlock.cc
index 4453ea9..401bcb3 100644
--- a/sync/ticketlock.cc
+++ b/sync/ticketlock.cc
@@ -2,7 +2,7 @@
 
 void Ticketlock::lock() {
     uint64_t ticket = __atomic_fetch_add(&ticket_count, 1, __ATOMIC_RELAXED);
-    while (ticket != __atomic_fetch_add(&ticket_current, 0, __ATOMIC_ACQUIRE))) {
+    while (ticket != __atomic_fetch_add(&ticket_current, 0, __ATOMIC_ACQUIRE)) {
         Core::pause();
     }
 }