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

---
 pandamonium-theorem-prover/.travis.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/pandamonium-theorem-prover/.travis.yml b/pandamonium-theorem-prover/.travis.yml
index 4113662..3dcae7a 100644
--- a/pandamonium-theorem-prover/.travis.yml
+++ b/pandamonium-theorem-prover/.travis.yml
@@ -8,7 +8,7 @@ addons:
       - oracle-java8-installer
 
 before_install:
-  - chmod +x gradlew
+  - chmod +x pandamonium-theorem-prover/gradlew
 
 stages:
   - name: build