Merge pull request #96 from Artisan-Lab/revert-93-hy/better_install_u…

…ser_experience Revert "fix: better install user experience for z3"
Artisan-Lab · Jan 17, 2025 · dd88aef · dd88aef
2 parents 748ce4a + aa63848
commit dd88aef
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/rapx/Cargo.toml b/rapx/Cargo.toml
@@ -25,7 +25,7 @@ lazy_static = "1.4"
 snafu = "0.7.0"
 chrono = "0.4.19"
 serde_json = "1.0.72"
-z3 = {version="0.12.1", features = ["static-link-z3"]}
+z3 = "0.12.1"
 log = "0.4.14"
 fern = {version = "0.6.2", features = ["colored"]}
 wait-timeout = "0.2.0"