From e3ac1f66e0fb69fc10867fa6bfb710914f74078e Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Sat, 20 Sep 2014 10:50:28 -0700
Subject: [PATCH] feat(util/lean_path): normalize path in function dirname

---
 src/util/lean_path.cpp | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/util/lean_path.cpp b/src/util/lean_path.cpp
index 368a80939..5e1dcdfee 100644
--- a/src/util/lean_path.cpp
+++ b/src/util/lean_path.cpp
@@ -255,6 +255,8 @@ void display_path(std::ostream & out, std::string const & fname) {
 std::string dirname(char const * fname) {
     if (fname == nullptr)
         return ".";
+    std::string nfname = normalize_path(std::string(fname));
+    fname = nfname.c_str();
     unsigned i        = 0;
     unsigned last_sep = 0;
     bool found_sep    = false;