From 4207f07c157d9725d05da8a4e00554bd02531cf7 Mon Sep 17 00:00:00 2001 From: Jonathan Salwan Date: Wed, 16 Aug 2023 11:29:44 +0200 Subject: [PATCH] Update readme --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 9281e762e..27227189d 100644 --- a/README.md +++ b/README.md @@ -101,7 +101,7 @@ Triton relies on the following dependencies: * libboost (optional) >= 1.68 * libpython (optional) >= 3.6 * libz3 (optional) >= 4.6.0 https://github.com/Z3Prover/z3 -* libbitwuzla (optional) >= 1.x https://github.com/bitwuzla/bitwuzla +* libbitwuzla (optional) >= 0.1.x https://github.com/bitwuzla/bitwuzla * llvm (optional) >= 12 ```