z3-sys: Add some missing backticks to some comments.

prove-rs · Oct 2, 2024 · b087c88 · b087c88
1 parent cb32b95
commit b087c88
Showing 1 changed file with 5 additions and 5 deletions.
diff --git a/z3-sys/src/lib.rs b/z3-sys/src/lib.rs
@@ -3778,7 +3778,7 @@ extern "C" {
 
     /// Pseudo-Boolean relations.
     ///
-    /// Encode p1 + p2 + ... + pn <= k
+    /// Encode `p1 + p2 + ... + pn <= k`
     pub fn Z3_mk_atmost(
         c: Z3_context,
         num_args: ::std::os::raw::c_uint,
@@ -3788,7 +3788,7 @@ extern "C" {
 
     /// Pseudo-Boolean relations.
     ///
-    /// Encode p1 + p2 + ... + pn >= k
+    /// Encode `p1 + p2 + ... + pn >= k`
     pub fn Z3_mk_atleast(
         c: Z3_context,
         num_args: ::std::os::raw::c_uint,
@@ -3798,7 +3798,7 @@ extern "C" {
 
     /// Pseudo-Boolean relations.
     ///
-    /// Encode k1*p1 + k2*p2 + ... + kn*pn <= k
+    /// Encode `k1*p1 + k2*p2 + ... + kn*pn <= k`
     pub fn Z3_mk_pble(
         c: Z3_context,
         num_args: ::std::os::raw::c_uint,
@@ -3809,7 +3809,7 @@ extern "C" {
 
     /// Pseudo-Boolean relations.
     ///
-    /// Encode k1*p1 + k2*p2 + ... + kn*pn >= k
+    /// Encode `k1*p1 + k2*p2 + ... + kn*pn >= k`
     pub fn Z3_mk_pbge(
         c: Z3_context,
         num_args: ::std::os::raw::c_uint,
@@ -3820,7 +3820,7 @@ extern "C" {
 
     /// Pseudo-Boolean relations.
     ///
-    /// Encode k1*p1 + k2*p2 + ... + kn*pn = k
+    /// Encode `k1*p1 + k2*p2 + ... + kn*pn = k`
     pub fn Z3_mk_pbeq(
         c: Z3_context,
         num_args: ::std::os::raw::c_uint,