Update .travis.yml

2019-02-01 22:44:04 -07:00
parent 5be55578b1
commit 93898f5bef
1 changed files with 1 additions and 1 deletions
@@ -8,7 +8,7 @@ addons:
      - oracle-java8-installer

 before_install:
-  - chmod +x gradlew
+  - chmod +x pandamonium-theorem-prover/gradlew

 stages:
  - name: build