From d2fadefb117ab56c34ba619488a190e82319be4d Mon Sep 17 00:00:00 2001
From: Chris Richardson <chris@bpi.cam.ac.uk>
Date: Thu, 19 Dec 2019 12:20:25 +0000
Subject: [PATCH] Adjust coverage requirements

---
 .circleci/config.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.circleci/config.yml b/.circleci/config.yml
index 2338832d..3fb565ec 100644
--- a/.circleci/config.yml
+++ b/.circleci/config.yml
@@ -8,7 +8,7 @@ jobs:
       - checkout
       - run:
           name: Install dependencies  # Install with sudo as tests not run as superuser in circleci/python
-          command: sudo pip install flake8 pytest pydocstyle numpy sympy coverage coveralls --upgrade
+          command: sudo pip install flake8 pytest pydocstyle numpy sympy 'coverage<5' coveralls --upgrade
       - run:
           name: Install FIAT
           command: pip install . --user