From b2b173be0f746721a9b390a48fb3fb9335ffa5d3 Mon Sep 17 00:00:00 2001
From: Bo-Yuan Huang <byhuang1992@gmail.com>
Date: Wed, 8 Jul 2020 00:05:22 -0400
Subject: [PATCH] Add missing source for gcc7

---
 .travis.yml | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/.travis.yml b/.travis.yml
index 280ef4541..4d1233cc1 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -50,11 +50,14 @@ jobs:
           branch_pattern: coverity_scan
         apt:
           update: true
+          sources:
+            - ubuntu-toolchain-r-test
           packages:
             - flex
             - bison
             - z3
             - libz3-dev
+            - g++-7
       before_install:
         - echo -n | openssl s_client -connect https://scan.coverity.com:443 | sed -ne '/-BEGIN CERTIFICATE-/,/-END CERTIFICATE-/p' | sudo tee -a /etc/ssl/certs/ca-
       before_script: