Fix C runtime memory leak (#767)

CatalaLang · Jan 8, 2025 · 9d8584a · 9d8584a
2 parents bce7e94 + e94e4b6
commit 9d8584a
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/runtimes/c/runtime.c b/runtimes/c/runtime.c
@@ -97,9 +97,12 @@ void* catala_malloc (size_t sz)
 
 void catala_free_all()
 {
+  struct catala_heap * next_ptr;
   while (catala_heap.mem != NULL) {
     free(catala_heap.mem);
+    next_ptr = catala_heap.next;
     catala_heap = *catala_heap.next;
+    free(next_ptr);
   }
 }