From 247d308f27d8b59152ad402e2d8b13d617a1a6a1 Mon Sep 17 00:00:00 2001
From: Bruce Mitchener <bruce.mitchener@gmail.com>
Date: Tue, 13 Feb 2024 23:17:35 +0700
Subject: [PATCH] Fix two typos.

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

diff --git a/z3-sys/src/lib.rs b/z3-sys/src/lib.rs
index 5f48e76c..74bb485a 100644
--- a/z3-sys/src/lib.rs
+++ b/z3-sys/src/lib.rs
@@ -1525,7 +1525,7 @@ pub enum ErrorCode {
     MemoutFail = generated::Z3_error_code::Z3_MEMOUT_FAIL as u32,
     /// A file could not be accessed.
     ///
-    /// This corresponds to `Z3_FILE_ACCESS_ERRROR` in the C API.
+    /// This corresponds to `Z3_FILE_ACCESS_ERROR` in the C API.
     FileAccessError = generated::Z3_error_code::Z3_FILE_ACCESS_ERROR as u32,
     /// An error internal to Z3 occurred.
     ///
@@ -2976,7 +2976,7 @@ extern "C" {
 
     /// Create a numeral of a int, bit-vector, or finite-domain sort.
     ///
-    /// This function can be use to create numerals that fit in a machine unsinged integer.
+    /// This function can be use to create numerals that fit in a machine unsigned integer.
     /// It is slightly faster than [`Z3_mk_numeral`] since it is not necessary to parse a string.
     ///
     /// # See also: