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 {