Update kani-driver/src/call_cargo.rs

model-checking · Oct 7, 2024 · 53ce5e5 · 53ce5e5
1 parent fd01557
commit 53ce5e5
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/kani-driver/src/call_cargo.rs b/kani-driver/src/call_cargo.rs
@@ -51,7 +51,7 @@ impl KaniSession {
     /// crate manually. =( See <https://github.com/rust-lang/cargo/issues/8365>.
     ///
     /// Without setting up a new workspace, cargo init will modify the workspace where this is
-    /// running.
+    /// running. See <https://github.com/model-checking/kani/issues/3574> for details.
     pub fn cargo_init_lib(&self, path: &Path) -> Result<()> {
         let toml_path = path.join("Cargo.toml");
         if toml_path.exists() {