From 8f48d544898f75fd1b8c6b9c96d8770c4385adff Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Marcel=20L=C3=BCtke=20Dreimann?=
 <marcel.luetkedreimann@uos.de>
Date: Wed, 25 Jan 2023 17:14:45 +0100
Subject: [PATCH] WFQueue empty const operation

---
 repos/dde_uos-intel-gpgpu/src/virt/strategies/util/wf_queue.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/repos/dde_uos-intel-gpgpu/src/virt/strategies/util/wf_queue.h b/repos/dde_uos-intel-gpgpu/src/virt/strategies/util/wf_queue.h
index 85b785adfe..bb46b4e5e2 100644
--- a/repos/dde_uos-intel-gpgpu/src/virt/strategies/util/wf_queue.h
+++ b/repos/dde_uos-intel-gpgpu/src/virt/strategies/util/wf_queue.h
@@ -63,7 +63,7 @@ namespace gpgpu_virt::util {
          * @return true 
          * @return false 
          */
-        inline bool empty() { return tail->next == nullptr; }
+        inline bool empty() const { return tail->next == nullptr; }
     };
 
     inline void WFQueue::enqueue(Chain* item)