From 9ecd3257377d244aede2d31427112a978b46d5da Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Patrick=20F=C3=B6rster?=
 <pfoerster@users.noreply.github.com>
Date: Sat, 18 May 2019 11:43:13 +0200
Subject: [PATCH] Improve performance of related_documents

---
 src/workspace.rs | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/workspace.rs b/src/workspace.rs
index 6ac2af3b..0ec01a87 100644
--- a/src/workspace.rs
+++ b/src/workspace.rs
@@ -74,7 +74,6 @@ impl Workspace {
         let mut path = uri.to_file_path().ok()?;
         path.pop();
         path.push(include.path().text());
-        path = PathBuf::from(path.to_string_lossy().replace("\\", "/"));
         path = path.clean();
         let path1 = path.to_string_lossy().into_owned();