From 80fccc5533967f798561e04ea0ef30a85a1c07aa Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Mon, 18 Nov 2013 09:55:16 -0800
Subject: [PATCH] fix(util/realpath): style

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
---
 src/util/realpath.cpp | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

diff --git a/src/util/realpath.cpp b/src/util/realpath.cpp
index aa74639804..d36e54ea0e 100644
--- a/src/util/realpath.cpp
+++ b/src/util/realpath.cpp
@@ -4,7 +4,7 @@ Released under Apache 2.0 license as described in the file LICENSE.
 
 Author: Leonardo de Moura
 */
-#include <iostream>
+#include <string>
 #include <cstdlib>
 #include "util/realpath.h"
 #ifdef LEAN_WINDOWS
@@ -14,10 +14,10 @@ Author: Leonardo de Moura
 namespace lean {
 std::string realpath(char const * fname) {
 #ifdef LEAN_WINDOWS
-    constexpr unsigned buffer_size = 8192;
-    char buffer[buffer_size];
-    DWORD retval = GetFullPathName(fname, buffer_size, buffer, nullptr);
-    if (retval == 0 || retval > buffer_size) {
+    constexpr unsigned BufferSize = 8192;
+    char buffer[BufferSize];
+    DWORD retval = GetFullPathName(fname, BufferSize, buffer, nullptr);
+    if (retval == 0 || retval > BufferSize) {
         return std::string(fname);
     } else {
         return std::string(buffer);