From 0b67b22eda66560d137de5374f15182d5983d35d Mon Sep 17 00:00:00 2001
From: Johnnie Birch <45402135+jlb6740@users.noreply.github.com>
Date: Thu, 20 Aug 2020 12:41:06 -0700
Subject: [PATCH] Update renamed document lint for broken links

Renames intra_doc_link_resolution_failure to broken_intra_doc_links
---
 crates/wasmtime/src/lib.rs | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/crates/wasmtime/src/lib.rs b/crates/wasmtime/src/lib.rs
index 987b8db6a3..e914cb724c 100644
--- a/crates/wasmtime/src/lib.rs
+++ b/crates/wasmtime/src/lib.rs
@@ -229,7 +229,8 @@
 //! # }
 //! ```
 
-#![deny(missing_docs, intra_doc_link_resolution_failure)]
+#![allow(unknown_lints)]
+#![deny(missing_docs, broken_intra_doc_links)]
 #![doc(test(attr(deny(warnings))))]
 #![doc(test(attr(allow(dead_code, unused_variables, unused_mut))))]