Skip to content

Commit dc3d318

Browse files
fix broken link (#1776) (#1805)
(cherry picked from commit ef7a5c7) Co-authored-by: Carlos Rodriguez <carlos@interchain.io>
1 parent 6c78f98 commit dc3d318

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

modules/apps/transfer/keeper/MBT_README.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -36,7 +36,7 @@ and executed automatically.
3636

3737

3838
The easiest way to run Apalache is by
39-
[using a Docker image](https://github.com/informalsystems/apalache/blob/master/docs/manual.md#useDocker);
39+
[using a Docker image](https://apalache.informal.systems/docs/apalache/installation/docker.html);
4040
to run Jsonatr you need to locally clone the repository, and then,
4141
after building it, add the `target/debug` directory into your `PATH`.
4242

0 commit comments

Comments
 (0)