clippy: Enable doc_markdown lint.

prove-rs · Oct 18, 2023 · 1b897d8 · 1b897d8
1 parent a6dfb9b
commit 1b897d8
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 0 deletions.
diff --git a/z3-sys/src/lib.rs b/z3-sys/src/lib.rs
@@ -29,6 +29,7 @@
 
 #![allow(non_camel_case_types)]
 #![allow(clippy::unreadable_literal)]
+#![warn(clippy::doc_markdown)]
 
 mod generated;
 

diff --git a/z3/src/lib.rs b/z3/src/lib.rs
@@ -3,6 +3,7 @@
 //! Z3 is a theorem prover [from Microsoft Research](https://github.com/Z3Prover/z3/).
 
 #![allow(clippy::unreadable_literal)]
+#![warn(clippy::doc_markdown)]
 #![deny(missing_debug_implementations)]
 
 #[macro_use]