From 2ad559639ea719e3a480cd3a61ce82dde65a672a Mon Sep 17 00:00:00 2001
From: Adrien Crivelli <adrien.crivelli@gmail.com>
Date: Fri, 21 Apr 2017 17:15:42 +0900
Subject: [PATCH] Use PHP 7.0 for code coverage

Hopefully this will avoid the frequent core dump
seen on Travis.
---
 .travis.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.travis.yml b/.travis.yml
index b180d2f5..67bf8db2 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -10,7 +10,7 @@ php:
 
 matrix:
   include:
-    - php: 7.1
+    - php: 7.0
       env: COVERAGE=1
   allow_failures:
     - php: hhvm