From 026cb3dfdf7b6955393c8d19bc14229bf30c2345 Mon Sep 17 00:00:00 2001
From: Matthias Volk <matthias.volk@cs.rwth-aachen.de>
Date: Fri, 6 Oct 2017 16:32:00 +0200
Subject: [PATCH] Small change in travis generation

---
 travis/generate_travis.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/travis/generate_travis.py b/travis/generate_travis.py
index 9b86cd19a..508568a34 100644
--- a/travis/generate_travis.py
+++ b/travis/generate_travis.py
@@ -3,7 +3,7 @@
 configs_linux = [
     # OS, compiler
     ("ubuntu-16.10", "gcc", ""),
-    #("debian-9", "gcc", "-6"),
+    #("debian-9", "gcc", ""),
 ]
 
 # Configurations for Mac