Modify reference to issue 1013

Co-Authored-By: Ralf Jung <post@ralfj.de>

diff --git a/src/shims/env.rs b/src/shims/env.rs
index eee9a539185cdb3b497002d9e694941e4e423eab..b6d7010263788fd52b7b37adf09d41b2248ae316 100644 (file)
--- a/src/shims/env.rs
+++ b/src/shims/env.rs
@@ -28,7 +28,7 @@ pub(crate) fn init<'mir>(
         let target_os = ecx.tcx.sess.target.target.target_os.as_str();
         if target_os == "windows" {
             // Temporary hack: Exclude `TERM` var to avoid terminfo trying to open the termcap file.
-            // Can be removed once Issue#1013(Implement file system access for Windows) is resolved.
+            // Can be removed once https://github.com/rust-lang/miri/issues/1013 is resolved.
             excluded_env_vars.push("TERM".to_owned());
         }