From d49d3564ceccdb887be62f32dd9d6c852b583dae Mon Sep 17 00:00:00 2001
From: Bruce Mitchener <bruce.mitchener@gmail.com>
Date: Sun, 22 Oct 2023 23:13:17 +0700
Subject: [PATCH] z3-sys: Missing "See also" header.

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

diff --git a/z3-sys/src/lib.rs b/z3-sys/src/lib.rs
index 5ef1f2bf..0d9e2b1c 100644
--- a/z3-sys/src/lib.rs
+++ b/z3-sys/src/lib.rs
@@ -4092,6 +4092,8 @@ extern "C" {
     ///
     /// - `Z3_get_ast_kind(c, a) == AstKind::Numeral || Z3_is_algebraic_number(c, a)`
     ///
+    /// # See also:
+    ///
     /// - [`Z3_get_ast_kind`]
     /// - [`AstKind::Numeral`]
     pub fn Z3_get_numeral_double(c: Z3_context, a: Z3_ast) -> f64;