From eb88ea2d102c67c0c323fe16520c1876e1a5cf52 Mon Sep 17 00:00:00 2001
From: atusa17 <alex.j.tusa@gmail.com>
Date: Sun, 10 Feb 2019 12:49:20 -0700
Subject: [PATCH] PAN-6 Fixed an issue with the .travis file

---
 .travis.yml                            | 6 ------
 pandamonium-theorem-prover/.travis.yml | 2 +-
 2 files changed, 1 insertion(+), 7 deletions(-)

diff --git a/.travis.yml b/.travis.yml
index 7a2a90b..20c1059 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -4,12 +4,6 @@ services:
 
 install: true
 
-sudo: false
-addons:
-  apt:
-    packages:
-      - oracle-java8-installer
-
 before_install:
   - chmod +x pandamonium-theorem-prover/gradlew
   - cd pandamonium-theorem-prover
diff --git a/pandamonium-theorem-prover/.travis.yml b/pandamonium-theorem-prover/.travis.yml
index 319a3b2..f9a5063 100644
--- a/pandamonium-theorem-prover/.travis.yml
+++ b/pandamonium-theorem-prover/.travis.yml
@@ -9,7 +9,7 @@ before_install:
   - cd pandamonium-theorem-prover
 
 before_script:
-  - mysql -u root pandamonium < pandamonium-theorem-prover/persistence/scripts/mysql/local_development.sql
+  - mysql -u root < pandamonium-theorem-prover/persistence/scripts/mysql/local_development.sql
 
 stages:
   - name: Load Database