diff --git a/.github/workflows/tla_model_checker.yml b/.github/workflows/tla_model_checker.yml
index d140db5..9e2e3f1 100644
--- a/.github/workflows/tla_model_checker.yml
+++ b/.github/workflows/tla_model_checker.yml
@@ -12,4 +12,4 @@ jobs:
           distribution: oracle
           java-version: 21
       - run: wget https://github.com/tlaplus/tlaplus/releases/download/v1.8.0/tla2tools.jar
-      - run: java tla2tools.jar -XX:+UseParallelGC -DTLA-Library= tlc2.TLC tla+/quadratic_aba.tla -tool -modelcheck -config tla+/quadratic_aba.cfg -workers 12
+      - run: java ./tla2tools.jar -XX:+UseParallelGC -DTLA-Library= tlc2.TLC tla+/quadratic_aba.tla -tool -modelcheck -config tla+/quadratic_aba.cfg -workers 12