remove jsoncp from osx ci

This commit is contained in:
Alex Beregszaszi
2022-11-03 23:35:52 +01:00
parent 79704d94de
commit ec6d83736a
-1
View File
@@ -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"