From 27294346fffdbb0f719e84787b4f845576e48d46 Mon Sep 17 00:00:00 2001
From: Enrico Tassi
Date: Tue, 27 Feb 2018 11:43:27 +0100
Subject: travis: disable Coq 8.5

---
 .travis.yml | 1 -
 1 file changed, 1 deletion(-)

diff --git a/.travis.yml b/.travis.yml
index 5020545..42f8ad6 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -19,7 +19,6 @@ env:
   - COMPILER="system"
   # Main test targets
   matrix:
-  - TEST_TARGET="v8.5"
   - TEST_TARGET="v8.6"
   - TEST_TARGET="v8.7"
   - TEST_TARGET="master"
-- 
cgit v1.2.3