From 222952d5b83e201356d4d2fb7c3a462c63ce9ba3 Mon Sep 17 00:00:00 2001
From: Sebastian Ullrich <sebasti@nullri.ch>
Date: Wed, 11 Jan 2017 18:34:02 +0100
Subject: [PATCH] chore(frontends/lean/scanner): another CLion fix

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

diff --git a/src/frontends/lean/scanner.cpp b/src/frontends/lean/scanner.cpp
index b43823f02b..9c913469bd 100644
--- a/src/frontends/lean/scanner.cpp
+++ b/src/frontends/lean/scanner.cpp
@@ -161,7 +161,7 @@ char scanner::read_quoted_char(char const * error_msg) {
     }
 }
 
-auto scanner::read_string() -> token_kind {
+scanner::token_kind scanner::read_string() {
     lean_assert(curr() == '\"');
     next();
     m_buffer.clear();