From be9f9f7610f2088da12f8261a49161d6b87a0498 Mon Sep 17 00:00:00 2001
From: Martin Kojtal <martin.kojtal@arm.com>
Date: Mon, 14 Jan 2019 15:42:22 +0000
Subject: [PATCH] travis: set hypothesis to 3.88 version

Update to v4.x breaks tools, will need to be addressed separately.
---
 .travis.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.travis.yml b/.travis.yml
index b54d9e5fe44..3fec26af379 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -107,7 +107,7 @@ matrix:
         # Install dependencies
         - sudo apt-get install gcc-arm-embedded
         - pip install -r requirements.txt
-        - pip install pytest pylint hypothesis mock coverage coveralls
+        - pip install pytest pylint hypothesis==3.88.3 mock coverage coveralls
         # Print versions we use
 
         - arm-none-eabi-gcc --version