From a0c7d3a238c2bd26253a21c8aa51955a3daf9df8 Mon Sep 17 00:00:00 2001
From: Patrick Brosi <brosi@informatik.uni-freiburg.de>
Date: Tue, 3 Jul 2018 18:58:25 +0200
Subject: [PATCH] use gcc5 in travis build

---
 .travis.yml | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/.travis.yml b/.travis.yml
index 09348e3..4a3e0ab 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -7,11 +7,14 @@ addons:
     sources:
       - ubuntu-toolchain-r-test
     packages:
-      - gcc
-      - g++
+      - gcc-5
+      - g++-5
       - libboost-all-dev
       - cmake
 
+env:
+    - CC=gcc-5 CXX=g++-5
+
 before_script:
   - mkdir build
   - cd build