From 460de0700a93985eea22778a9517d5e3a09e3260 Mon Sep 17 00:00:00 2001
From: atusa17 <alex.j.tusa@gmail.com>
Date: Sun, 10 Feb 2019 14:04:21 -0700
Subject: [PATCH] PAN-6 Fixed the user creation for .travis.yml

---
 .travis.yml | 8 --------
 1 file changed, 8 deletions(-)

diff --git a/.travis.yml b/.travis.yml
index 933d299..f063114 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -4,14 +4,6 @@ services:
 
 install: true
 
-addons:
-  apt:
-    sources:
-      - mysql-5.7-trusty
-    packages:
-      - mysql-server
-      - mysql-client
-
 before_install:
   - chmod +x pandamonium-theorem-prover/gradlew
   - cd pandamonium-theorem-prover