From 76b6188a3e68d9532c92acb6d57a698f7cebfe01 Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Fri, 26 Oct 2018 14:23:15 -0700
Subject: [PATCH] chore(library/compiler/emit_bytecode): remove useless
 instruction

The VM based debugger was never used in practice.
---
 src/library/compiler/emit_bytecode.cpp | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/library/compiler/emit_bytecode.cpp b/src/library/compiler/emit_bytecode.cpp
index 51528cc53a..9894c0ff54 100644
--- a/src/library/compiler/emit_bytecode.cpp
+++ b/src/library/compiler/emit_bytecode.cpp
@@ -228,7 +228,6 @@ class emit_bytecode_fn {
         while (is_let(e)) {
             counter++;
             compile(instantiate_rev(let_value(e), locals.size(), locals.data()), bpz, new_m);
-            emit(mk_local_info_instr(bpz, let_name(e), to_type_info(let_type(e))));
             name n = m_ngen.next();
             new_m.insert(n, bpz);
             locals.push_back(mk_local(n));