From 53bf7f5ff18ad5b7e767d833d93d063f385dafed Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Tue, 18 Aug 2015 13:56:06 -0700
Subject: [PATCH] fix(src/tests/shared/name): invalid delete

---
 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 ddf02b632..cc1f68ce5 100644
--- a/src/tests/shared/name.c
+++ b/src/tests/shared/name.c
@@ -25,7 +25,6 @@ void anonymous_unique() {
     check(lean_name_eq(a1, a2));
     lean_name_del(a1);
     lean_name_del(a2);
-    lean_exception_del(ex);
 }
 
 int main() {