From 8df5fc062366c851ebcb145d9808d032416b1284 Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Wed, 27 Aug 2014 17:53:00 -0700
Subject: [PATCH] fix(frontends/lean/server): compilation warning

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
---
 src/frontends/lean/server.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/frontends/lean/server.cpp b/src/frontends/lean/server.cpp
index 5fb95ed77..88dca0db2 100644
--- a/src/frontends/lean/server.cpp
+++ b/src/frontends/lean/server.cpp
@@ -98,7 +98,7 @@ server::worker::worker(environment const & env, io_state const & ios, definition
             io_state _ios(ios);
             while (!m_terminate) {
                 file_ptr todo_file;
-                unsigned todo_linenum;
+                unsigned todo_linenum = 0;
                 options  todo_options;
                 // wait for next task
                 while (!m_terminate) {