From 759732d3108f12ee6f94547bb336aea6de59d7be Mon Sep 17 00:00:00 2001
From: "Rodrigo Q. Saramago" <rodrigoqsaramago@gmail.com>
Date: Thu, 4 May 2023 16:18:46 +0200
Subject: [PATCH] Remove python unlink

---
 .circleci/osx_install_dependencies.sh | 1 -
 1 file changed, 1 deletion(-)

diff --git a/.circleci/osx_install_dependencies.sh b/.circleci/osx_install_dependencies.sh
index e523746f0..45a54838a 100755
--- a/.circleci/osx_install_dependencies.sh
+++ b/.circleci/osx_install_dependencies.sh
@@ -52,7 +52,6 @@ function validate_checksum {
 
 if [ ! -f /usr/local/lib/libz3.a ] # if this file does not exists (cache was not restored), rebuild dependencies
 then
-  brew unlink python
   brew install boost
   brew install cmake
   brew install wget