From 7f1ce29939ada5ce4ce5d998ccb64199ea7bb842 Mon Sep 17 00:00:00 2001 From: Carlos Rodriguez Date: Tue, 26 Jul 2022 11:29:18 +0200 Subject: [PATCH] fix broken link (#1776) (cherry picked from commit ef7a5c72aa93bfa7290505788fbda455cd07b318) --- modules/apps/transfer/keeper/MBT_README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/modules/apps/transfer/keeper/MBT_README.md b/modules/apps/transfer/keeper/MBT_README.md index 3cad1e58993..c2a62599f36 100644 --- a/modules/apps/transfer/keeper/MBT_README.md +++ b/modules/apps/transfer/keeper/MBT_README.md @@ -36,7 +36,7 @@ and executed automatically. The easiest way to run Apalache is by -[using a Docker image](https://github.com/informalsystems/apalache/blob/master/docs/manual.md#useDocker); +[using a Docker image](https://apalache.informal.systems/docs/apalache/installation/docker.html); to run Jsonatr you need to locally clone the repository, and then, after building it, add the `target/debug` directory into your `PATH`.