From c55579dd696c290acb249daf934ebbc404c7fc7c Mon Sep 17 00:00:00 2001
From: Gabriel Ebner <gebner@gebner.org>
Date: Thu, 23 Mar 2017 13:26:54 +0100
Subject: [PATCH] fix(frontends/lean/scanner): initialize m_pos

---
 src/frontends/lean/scanner.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/frontends/lean/scanner.cpp b/src/frontends/lean/scanner.cpp
index 22a1ad6240..e84efe65ea 100644
--- a/src/frontends/lean/scanner.cpp
+++ b/src/frontends/lean/scanner.cpp
@@ -646,6 +646,7 @@ scanner::scanner(std::istream & strm, char const * strm_name):
     m_last_line = false;
     fetch_line();
     m_line = m_sline;
+    m_pos = 0;
 }
 
 scanner::scanner(std::istream & strm, char const * strm_name, pos_info const & skip_to_pos) :