From 98491c8ec52a446f5b0d469a2e9178ed23912b18 Mon Sep 17 00:00:00 2001
From: atusa17 <alex.j.tusa@gmail.com>
Date: Fri, 1 Feb 2019 22:39:09 -0700
Subject: [PATCH] Update .travis.yml

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

diff --git a/pandamonium-theorem-prover/.travis.yml b/pandamonium-theorem-prover/.travis.yml
index d34c3ad..8ed8a6c 100644
--- a/pandamonium-theorem-prover/.travis.yml
+++ b/pandamonium-theorem-prover/.travis.yml
@@ -1,6 +1,12 @@
 language: java
 install: true
 
+sudo: false
+addons:
+  apt:
+    packages:
+      - oracle-java8-installer
+
 before_install:
   - chmod +x gradlew