From e4c4eab48e3773e23dec259a999f83f0a0141813 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Tue, 29 Jan 2019 16:31:29 -0800 Subject: [PATCH] fix(library/compiler/emit_cpp): collect_dependencies was not handling `_closure` instruction --- src/library/compiler/emit_cpp.cpp | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/src/library/compiler/emit_cpp.cpp b/src/library/compiler/emit_cpp.cpp index bb68bdd04d..fcd94cf4f7 100644 --- a/src/library/compiler/emit_cpp.cpp +++ b/src/library/compiler/emit_cpp.cpp @@ -194,6 +194,10 @@ static void collect_dependencies(environment const & env, expr e, name_set & dep get_app_args(e, args); for (expr const & arg : args) collect_dependencies(env, arg, deps); + } else if (is_llnf_closure(get_app_fn(e))) { + buffer args; + get_app_args(e, args); + collect_constant(args[0], deps); } else { collect_constant(get_app_fn(e), deps); }