update z3.rs dependency to latest commit

Author: umutdural

Cargo.lock

@@ -86,10 +86,9 @@ harness = false
 opt-level = 3
 
 [patch.crates-io]
-z3 = { git = 'https://github.com/Philipp15b/z3.rs.git', rev = 'bdd501ca1e50785365b875b3438a0cf953cffbfc' }
-z3-sys = { git = 'https://github.com/Philipp15b/z3.rs.git', rev = 'bdd501ca1e50785365b875b3438a0cf953cffbfc' }
+z3 = { git = 'https://github.com/Philipp15b/z3.rs.git', rev = '473cb83d85cbce92b837a1667693ca9ca38c046c' }
+z3-sys = { git = 'https://github.com/Philipp15b/z3.rs.git', rev = '473cb83d85cbce92b837a1667693ca9ca38c046c' }
 # to work on z3.rs locally, clone it into the main directory and use the following directive instead:
-# z3 = { path = 'z3.rs/z3' }
 
 # see https://github.com/heim-rs/darwin-libproc/pull/3#issuecomment-1645444056
 darwin-libproc = { git = "https://github.com/Orycterope/darwin-libproc.git", rev = "f73ddb1002d51ae74c1b41670fae56bd5896b7a3" }