From 8ed4ab3f7f81151ce75f99c52aba8126c6358e93 Mon Sep 17 00:00:00 2001
From: atusa17 <alex.j.tusa@gmail.com>
Date: Sun, 10 Feb 2019 12:44:11 -0700
Subject: [PATCH] PAN-6 Removed some tings from the Travis file to hopefully
 speed up the builds

---
 pandamonium-theorem-prover/.travis.yml | 6 ------
 1 file changed, 6 deletions(-)

diff --git a/pandamonium-theorem-prover/.travis.yml b/pandamonium-theorem-prover/.travis.yml
index abd7ccd..319a3b2 100644
--- a/pandamonium-theorem-prover/.travis.yml
+++ b/pandamonium-theorem-prover/.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