From ec6d83736a3f6f769466f73246f2819e961ee610 Mon Sep 17 00:00:00 2001
From: Alex Beregszaszi <alex@rtfs.hu>
Date: Tue, 27 Sep 2022 02:37:31 +0200
Subject: [PATCH] remove jsoncp from osx ci

---
 .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 766091fdf..383ea51a8 100755
--- a/.circleci/osx_install_dependencies.sh
+++ b/.circleci/osx_install_dependencies.sh
@@ -58,7 +58,6 @@ then
   brew install wget
   brew install coreutils
   brew install diffutils
-  ./scripts/install_obsolete_jsoncpp_1_7_4.sh
 
   # z3
   z3_version="4.11.0"