From 8209e9590074fede12a8f95f120840df30f338c6 Mon Sep 17 00:00:00 2001
From: Bruce Mitchener <bruce.mitchener@gmail.com>
Date: Sat, 18 May 2024 02:17:06 +0700
Subject: [PATCH] clippy: Fix `doc_markdown` lint.

---
 z3-sys/src/lib.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/z3-sys/src/lib.rs b/z3-sys/src/lib.rs
index 74bb485a..33984069 100644
--- 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.