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) {}