From 95bf3e88959ae3be04a37b978e884ef69630d13a Mon Sep 17 00:00:00 2001
From: Robin Moussu <moussu.robin@pm.me>
Date: Tue, 10 Nov 2020 19:33:00 +0100
Subject: [PATCH] compile_time_sysroot() have been copied in rustdoc

---
 src/bin/miri.rs | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/bin/miri.rs b/src/bin/miri.rs
index ef1429a350..3b77d2a07e 100644
--- a/src/bin/miri.rs
+++ b/src/bin/miri.rs
@@ -112,6 +112,7 @@ fn init_late_loggers(tcx: TyCtxt<'_>) {
     }
 }
 
+// This code has been copied in https://github.com/rust-lang/rust/blob/master/src/librustdoc/lib.rs
 /// Returns the "default sysroot" that Miri will use if no `--sysroot` flag is set.
 /// Should be a compile-time constant.
 fn compile_time_sysroot() -> Option<String> {