From a16df483fa71ef436b23becf5fb25a0908a6072b Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Fri, 26 Jul 2019 10:09:55 -0700
Subject: [PATCH] fix(runtime/io): compilation error on windows

---
 src/runtime/io.cpp | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/src/runtime/io.cpp b/src/runtime/io.cpp
index 87119ab1e0..b4da23cd59 100644
--- a/src/runtime/io.cpp
+++ b/src/runtime/io.cpp
@@ -214,7 +214,9 @@ extern "C" obj_res lean_io_app_dir(obj_arg r) {
     HMODULE hModule = GetModuleHandleW(NULL);
     WCHAR path[MAX_PATH];
     GetModuleFileNameW(hModule, path, MAX_PATH);
-    return set_io_result(r, mk_string(path));
+    std::wstring pathwstr(path);
+    std::string pathstr(pathwstr.begin(), pathwstr.end());
+    return set_io_result(r, mk_string(pathstr));
 #elif defined(__APPLE__)
     char buf1[PATH_MAX];
     char buf2[PATH_MAX];