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"