diff --git a/resources/3rdparty/sylvan/src/lace.c b/resources/3rdparty/sylvan/src/lace.c index 08e9f8843..9315f6895 100755 --- a/resources/3rdparty/sylvan/src/lace.c +++ b/resources/3rdparty/sylvan/src/lace.c @@ -715,6 +715,9 @@ VOID_TASK_1(lace_steal_loop, int*, quit) } while (__lace_worker->enabled == 0); } } + + // Unmap the virtual memory from the worker. + munmap(workers_memory[worker_id], workers_memory_size); } /**