From 55a2a961f6ab3117dc36e0e396bc35464163cdc2 Mon Sep 17 00:00:00 2001 From: atusa17 Date: Sun, 10 Feb 2019 13:22:41 -0700 Subject: [PATCH] PAN-6 Updating loaddb gradle directory --- .travis.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.travis.yml b/.travis.yml index afaef63..da3dc34 100644 --- a/.travis.yml +++ b/.travis.yml @@ -29,7 +29,7 @@ stages: jobs: include: - stage: Load Database - script: ./pandamonium-theorem-prover/gradlew loaddb + script: ./gradlew loaddb - stage: Build script: ./gradlew build - stage: Unit Tests