From a5382f45fffe4a398ec9d144a7168cc26482d9cf Mon Sep 17 00:00:00 2001
From: Sebastian Ullrich <sebasti@nullri.ch>
Date: Wed, 29 Apr 2020 16:37:28 +0200
Subject: [PATCH] chore: stop normalizing the input path in error messages

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

diff --git a/src/shell/lean.cpp b/src/shell/lean.cpp
index fdaf3c9192..caff44a53b 100644
--- a/src/shell/lean.cpp
+++ b/src/shell/lean.cpp
@@ -600,7 +600,7 @@ int main(int argc, char ** argv) {
                 display_help(std::cerr);
                 return 1;
             }
-            mod_fn = lrealpath(argv[optind++]);
+            mod_fn = argv[optind++];
             contents = read_file(mod_fn);
             main_module_name = module_name_of_file(mod_fn, /* optional */ !olean_fn && !c_output);
         }