From c9af007994c427fe65219ac435aea4fa985c1c7d Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Wed, 30 Sep 2015 16:52:09 -0700
Subject: [PATCH] chore(frontends/lean): fix style

---
 src/frontends/lean/pp.h        | 1 +
 src/frontends/lean/scanner.cpp | 2 +-
 2 files changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/frontends/lean/pp.h b/src/frontends/lean/pp.h
index e3a70b0b3..ecb549ad9 100644
--- a/src/frontends/lean/pp.h
+++ b/src/frontends/lean/pp.h
@@ -5,6 +5,7 @@ Released under Apache 2.0 license as described in the file LICENSE.
 Author: Leonardo de Moura
 */
 #pragma once
+#include <string>
 #include <utility>
 #include <limits>
 #include "util/pair.h"
diff --git a/src/frontends/lean/scanner.cpp b/src/frontends/lean/scanner.cpp
index c63446f84..402d72cdf 100644
--- a/src/frontends/lean/scanner.cpp
+++ b/src/frontends/lean/scanner.cpp
@@ -160,7 +160,7 @@ auto scanner::read_quoted_symbol() -> token_kind {
         } else if (c != '\"' && c != '\n' && c != '\t') {
             m_buffer += c;
         } else {
-            // TODO: intra-token space
+            // TODO(Leo): intra-token space
             throw_exception("invalid quoted symbol, invalid character");
         }
     }