From 2926b41e9fb40a0376d99d514249ec6ac2f9f797 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Sun, 23 Aug 2015 09:24:05 -0700 Subject: [PATCH] fix(tests/shared/env): memory leak --- src/tests/shared/env.c | 1 + 1 file changed, 1 insertion(+) diff --git a/src/tests/shared/env.c b/src/tests/shared/env.c index 2a72a65f2..cf6d8686f 100644 --- a/src/tests/shared/env.c +++ b/src/tests/shared/env.c @@ -226,6 +226,7 @@ void print_decl_name_and_del(lean_decl d) { check(lean_decl_get_name(d, &n, &ex)); check(lean_name_to_string(n, &s, &ex)); printf("declaration name: %s\n", s); + lean_name_del(n); lean_string_del(s); lean_decl_del(d); }