From 4625ad29923dc7010eb8dac93c74684615f2b9f8 Mon Sep 17 00:00:00 2001
From: augustin64 <augustin.lucas64@gmail.com>
Date: Mon, 15 May 2023 18:25:48 +0200
Subject: [PATCH] mem management: remove warning

---
 src/common/memory_management.c  | 1 +
 src/common/memory_management.cu | 1 +
 2 files changed, 2 insertions(+)

diff --git a/src/common/memory_management.c b/src/common/memory_management.c
index 76216f7..45d7d9c 100644
--- a/src/common/memory_management.c
+++ b/src/common/memory_management.c
@@ -214,6 +214,7 @@ void gree(void* ptr, bool already_freed) {
         memory = free_memory(ptr, memory, already_freed);
         pthread_mutex_unlock(&memory_lock);
     #else
+        (void)already_freed;
         free(ptr);
     #endif
 }
\ No newline at end of file
diff --git a/src/common/memory_management.cu b/src/common/memory_management.cu
index 76216f7..45d7d9c 100644
--- a/src/common/memory_management.cu
+++ b/src/common/memory_management.cu
@@ -214,6 +214,7 @@ void gree(void* ptr, bool already_freed) {
         memory = free_memory(ptr, memory, already_freed);
         pthread_mutex_unlock(&memory_lock);
     #else
+        (void)already_freed;
         free(ptr);
     #endif
 }
\ No newline at end of file