clippy: Fix doc_markdown lint.

prove-rs · May 17, 2024 · 8209e95 · 8209e95
1 parent a1d6458
commit 8209e95
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/z3-sys/src/lib.rs b/z3-sys/src/lib.rs
@@ -1405,7 +1405,7 @@ pub enum DeclKind {
     FPA_TO_IEEE_BV = generated::Z3_decl_kind::Z3_OP_FPA_TO_IEEE_BV as u32,
     /// Implicitly) represents the internal bitvector-representation
     /// of a floating-point term (used for the lazy encoding
-    /// of non-relevant terms in theory_fpa)
+    /// of non-relevant terms in `theory_fpa`)
     FPA_BVWRAP = generated::Z3_decl_kind::Z3_OP_FPA_BVWRAP as u32,
     /// Conversion of a 3-bit bit-vector term to a
     /// floating-point rounding-mode term.