From b6f7472dd748ce1e8def73ce963c08cff7da11bd Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Fri, 1 Feb 2019 14:21:17 -0800 Subject: [PATCH] fix(library/compiler/emit_cpp): remove leftover --- src/library/compiler/emit_cpp.cpp | 1 - 1 file changed, 1 deletion(-) diff --git a/src/library/compiler/emit_cpp.cpp b/src/library/compiler/emit_cpp.cpp index 337c4abbfa..2966b67336 100644 --- a/src/library/compiler/emit_cpp.cpp +++ b/src/library/compiler/emit_cpp.cpp @@ -485,7 +485,6 @@ struct emit_fn_fn { void emit_uset(expr const & x, expr const & fn, buffer const & args) { unsigned n; lean_verify(is_llnf_uset(fn, n)); - emit_lhs(x); m_out << "lean::cnstr_set_scalar("; emit_fvar(args[0]); m_out << ", "; emit_offset(n, 0); m_out << ", "; emit_fvar(args[1]); m_out << ");\n"; emit_lhs(x); emit_fvar(args[0]); m_out << ";\n"; }