From 40bf1365ae41641d5cb618184e134a032de1ccef Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Wed, 13 Jun 2018 09:59:44 -0700 Subject: [PATCH] chore(library/inductive_compiler/nested): compilation warning --- src/library/inductive_compiler/nested.cpp | 1 - 1 file changed, 1 deletion(-) diff --git a/src/library/inductive_compiler/nested.cpp b/src/library/inductive_compiler/nested.cpp index 6775b1ea1c..6d98426f60 100644 --- a/src/library/inductive_compiler/nested.cpp +++ b/src/library/inductive_compiler/nested.cpp @@ -120,7 +120,6 @@ class add_nested_inductive_decl_fn { expr mk_local_pp(name const & n, expr const & ty) { return mk_local(m_ngen.next(), n, ty, binder_info()); } // For sizeof - bool m_has_sizeof{false}; local_context m_synth_lctx; buffer m_param_insts;