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