From 15cc07fe17162ec86f1d09e1c9d618dace489ce0 Mon Sep 17 00:00:00 2001 From: Sebastian Ullrich Date: Thu, 17 Jan 2019 13:34:28 +0100 Subject: [PATCH] fix(frontends/lean/vm_elaborator): initialization --- src/frontends/lean/vm_elaborator.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/frontends/lean/vm_elaborator.cpp b/src/frontends/lean/vm_elaborator.cpp index 20d514415a..5215965f71 100644 --- a/src/frontends/lean/vm_elaborator.cpp +++ b/src/frontends/lean/vm_elaborator.cpp @@ -34,7 +34,7 @@ namespace lean { struct resolve_names_fn : public replace_visitor { parser & m_p; names m_locals; - bool m_assume_local; + bool m_assume_local = false; resolve_names_fn(parser & p) : m_p(p) {}