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