From bab49a3fd1dba5e366c4763f0e9dbd66d25c3c08 Mon Sep 17 00:00:00 2001
From: Aleksandr Misonizhnik <misonijnik@gmail.com>
Date: Mon, 30 Dec 2024 23:22:16 +0100
Subject: [PATCH] chore(bitwuzla): Bump version

---
 .github/workflows/build.yaml | 2 +-
 build.sh                     | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/build.yaml b/.github/workflows/build.yaml
index c689ebacab..376929fb22 100644
--- a/.github/workflows/build.yaml
+++ b/.github/workflows/build.yaml
@@ -37,7 +37,7 @@ env:
   USE_LIBCXX: 1
   Z3_VERSION: 4.8.15
   SQLITE_VERSION: 3400100
-  BITWUZLA_VERSION: 0.6.1
+  BITWUZLA_VERSION: 0.7.0
   JSON_VERSION: v3.11.3
   IMMER_VERSION: v0.8.1
 
diff --git a/build.sh b/build.sh
index 73cfa8495a..33cf59ce8c 100755
--- a/build.sh
+++ b/build.sh
@@ -56,7 +56,7 @@ Z3_VERSION=4.8.15
 STP_VERSION=2.3.3
 MINISAT_VERSION=master
 
-BITWUZLA_VERSION=0.6.1
+BITWUZLA_VERSION=0.7.0
 
 KEEP_PARSE="true"
 while [ $KEEP_PARSE = "true" ]; do