From 6106db0f9202ce7105d94cef460bd302910f07f3 Mon Sep 17 00:00:00 2001
From: Aleksandr Misonizhnik <misonijnik@gmail.com>
Date: Fri, 17 Nov 2023 02:46:20 +0400
Subject: [PATCH] [fix]

---
 scripts/build/v-bitwuzla.inc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/scripts/build/v-bitwuzla.inc b/scripts/build/v-bitwuzla.inc
index 3563e74c65..fa50a09d91 100644
--- a/scripts/build/v-bitwuzla.inc
+++ b/scripts/build/v-bitwuzla.inc
@@ -8,4 +8,4 @@ artifact_dependency_bitwuzla=("")
 install_build_dependencies_bitwuzla() {
   source "${DIR}/common-functions"
   with_sudo pip3 install --user meson
-}
\ No newline at end of file
+}