From 2daa52f18cb104109cd3cf176008f8c85bf5c9b7 Mon Sep 17 00:00:00 2001
From: Leonardo Alt <leo@ethereum.org>
Date: Wed, 22 Apr 2020 10:20:52 +0200
Subject: [PATCH] Fix CI pip version

---
 .circleci/config.yml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.circleci/config.yml b/.circleci/config.yml
index b1eb45af4..bfadb1139 100644
--- a/.circleci/config.yml
+++ b/.circleci/config.yml
@@ -347,8 +347,8 @@ jobs:
           name: Z3 python deps
           command: |
             apt-get -qq update
-            apt-get -qy install python-pip
-            pip install --user z3-solver
+            apt-get -qy install python3-pip
+            pip3 install --user z3-solver
       - run: *run_proofs
 
   chk_docs_pragma_min_version: