From 1f708c2da4aa102e45848b6a349d1d3260d262a5 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?=C3=81ron=20Ricardo=20Perez-Lopez?= <arpl@cs.stanford.edu>
Date: Sat, 31 Aug 2024 04:28:15 -0400
Subject: [PATCH] Fix deps directory creation (#354)

---
 contrib/setup-bitwuzla.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/contrib/setup-bitwuzla.sh b/contrib/setup-bitwuzla.sh
index 2a6b5fa9b..4d11e9c99 100755
--- a/contrib/setup-bitwuzla.sh
+++ b/contrib/setup-bitwuzla.sh
@@ -2,8 +2,8 @@
 set -e
 
 BITWUZLA_VERSION=0e81e616af4d4421729884f01928b194c3536c76
-DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" >/dev/null 2>&1 && pwd )"
-DEPS="$( cd "$( dirname "$DIR" )/deps" && pwd )"
+DIR="$(cd "$(dirname "${BASH_SOURCE[0]}")" >/dev/null 2>&1 && pwd)"
+DEPS="$(dirname "$DIR")/deps"
 
 mkdir -p $DEPS