From 002ffc81bb95c2609065d8fdba9a4eabac6a970c Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Sun, 12 Feb 2017 16:29:13 -0800
Subject: [PATCH] fix(tests/shared/univ): memory access violation

---
 src/tests/shared/univ.c | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/src/tests/shared/univ.c b/src/tests/shared/univ.c
index 9ee8c8dafe..5db82b34bb 100644
--- a/src/tests/shared/univ.c
+++ b/src/tests/shared/univ.c
@@ -19,7 +19,7 @@ void check_core(int v, unsigned l) {
 
 int main() {
     lean_exception ex;
-    lean_name a, l, pp, pp_unicode, rn;
+    lean_name a, l, pp, pp_unicode;
     lean_options o1, o2;
     lean_univ zero, one, p1, m1, u, n, i, ru;
     lean_list_name ln1, ln2;
@@ -77,7 +77,6 @@ int main() {
     lean_name_del(l);
     lean_name_del(pp);
     lean_name_del(pp_unicode);
-    lean_name_del(rn);
 
     lean_options_del(o1);
     lean_options_del(o2);