docs: Fix warnings.

prove-rs · Jul 20, 2023 · e20ff49 · e20ff49
1 parent a23be58
commit e20ff49
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/z3-sys/src/lib.rs b/z3-sys/src/lib.rs
@@ -1591,7 +1591,7 @@ extern "C" {
     /// Thus, the following parameter names are considered equivalent: "pp.decimal-precision"  and "PP.DECIMAL_PRECISION".
     ///
     /// This function can be used to set parameters for a specific Z3 module.
-    /// This can be done by using <module-name>.<parameter-name>.
+    /// This can be done by using `<module-name>.<parameter-name>`.
     ///
     /// For example:
     /// `Z3_global_param_set('pp.decimal', 'true')`

diff --git a/z3/src/lib.rs b/z3/src/lib.rs
@@ -163,14 +163,14 @@ pub struct FuncDecl<'ctx> {
 }
 
 /// Stores the interpretation of a function in a Z3 model.
-/// https://z3prover.github.io/api/html/classz3py_1_1_func_interp.html
+/// <https://z3prover.github.io/api/html/classz3py_1_1_func_interp.html>
 pub struct FuncInterp<'ctx> {
     ctx: &'ctx Context,
     z3_func_interp: Z3_func_interp,
 }
 
 /// Store the value of the interpretation of a function in a particular point.
-/// https://z3prover.github.io/api/html/classz3py_1_1_func_entry.html
+/// <https://z3prover.github.io/api/html/classz3py_1_1_func_entry.html>
 pub struct FuncEntry<'ctx> {
     ctx: &'ctx Context,
     z3_func_entry: Z3_func_entry,