chore(library/inductive_compiler/nested): compilation warning

2018-06-13 09:59:44 -07:00 · 2018-06-13 09:59:44 -07:00 · 40bf1365ae
commit 40bf1365ae
parent 4432629eb0
1 changed files with 0 additions and 1 deletions
--- 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<expr>                  m_param_insts;