Update .travis.yml

2019-03-03 19:04:55 -07:00
parent 4130e7bef3
commit 6a8f239995
1 changed files with 1 additions and 2 deletions
@@ -13,8 +13,7 @@ addons:
      - mysql-client

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

 before_script:
  - mysql_upgrade --force -uroot