z3-sys: Missing "See also" header.

prove-rs · Oct 22, 2023 · d49d356 · d49d356
1 parent 27fd0da
commit d49d356
Showing 1 changed file with 2 additions and 0 deletions.
diff --git 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;