From 39850d3b842c5582812a7cb020d0f511ccfd6f62 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Tue, 6 Nov 2018 12:25:32 -0800 Subject: [PATCH] chore(library/compiler/llnf): remove dead global --- src/library/compiler/llnf.cpp | 2 -- 1 file changed, 2 deletions(-) diff --git a/src/library/compiler/llnf.cpp b/src/library/compiler/llnf.cpp index 78852155e0..51c840bd2f 100644 --- a/src/library/compiler/llnf.cpp +++ b/src/library/compiler/llnf.cpp @@ -20,7 +20,6 @@ static name * g_cnstr = nullptr; static name * g_reuse = nullptr; static name * g_reset = nullptr; static name * g_updt = nullptr; -static name * g_updt_cidx = nullptr; static name * g_updt_u8 = nullptr; static name * g_updt_u16 = nullptr; static name * g_updt_u32 = nullptr; @@ -802,7 +801,6 @@ void initialize_llnf() { g_reuse = new name("_reuse"); g_reset = new name("_reset"); g_updt = new name("_updt"); - g_updt_cidx = new name("_updt_cidx"); g_updt_u8 = new name("_updt_u8"); g_updt_u16 = new name("_updt_u16"); g_updt_u32 = new name("_updt_u32");