diff options
Diffstat (limited to 'src/mongo/db/repl/tla_plus/download-tlc.sh')
| -rwxr-xr-x | src/mongo/db/repl/tla_plus/download-tlc.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/mongo/db/repl/tla_plus/download-tlc.sh b/src/mongo/db/repl/tla_plus/download-tlc.sh index 8828a17b08a..b63944a7231 100755 --- a/src/mongo/db/repl/tla_plus/download-tlc.sh +++ b/src/mongo/db/repl/tla_plus/download-tlc.sh @@ -3,4 +3,4 @@ # Downloads TLC, which is the model-checker for the TLA+ formal specifications in this directory. echo "Downloading tla2tools.jar" -curl -fLO tla.msr-inria.inria.fr/tlatoolbox/dist/tla2tools.jar +curl -fLO https://github.com/tlaplus/tlaplus/releases/download/v1.7.0/tla2tools.jar |