From 8272ff61f6d17f021b197b23ab0c47849c177b38 Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Fri, 21 Aug 2015 18:33:06 -0700
Subject: [PATCH] fix(tests/shared/name): access violation

---
 src/tests/shared/name.c | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/tests/shared/name.c b/src/tests/shared/name.c
index 25c22524f..ce500efb1 100644
--- a/src/tests/shared/name.c
+++ b/src/tests/shared/name.c
@@ -73,7 +73,6 @@ int main() {
     lean_name_del(n2);
     lean_name_del(n3);
     lean_name_del(n4);
-    lean_name_del(n5);
     lean_name_del(n6);
     lean_list_name_del(l1);
     lean_list_name_del(l2);