PAN-6 Updating loaddb gradle directory

2019-02-10 13:22:41 -07:00
parent f446b6a746
commit 55a2a961f6
1 changed files with 1 additions and 1 deletions
@@ -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