chore(library/compiler/emit_bytecode): remove useless instruction

The VM based debugger was never used in practice.
This commit is contained in:
Leonardo de Moura 2018-10-26 14:23:15 -07:00
parent f336dde4ef
commit 76b6188a3e

View file

@ -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));