From 9ec6f9e57c0d84c0c3a1a0bb2850e8939c9ce029 Mon Sep 17 00:00:00 2001 From: Thomas Pani Date: Tue, 10 Oct 2023 13:14:45 +0200 Subject: [PATCH] Fix a typo (#2755) --- docs/src/apalache/config.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/src/apalache/config.md b/docs/src/apalache/config.md index 1ba3470a5e..facb7b7252 100644 --- a/docs/src/apalache/config.md +++ b/docs/src/apalache/config.md @@ -55,7 +55,7 @@ A `~` found at the beginning of a file path will expanded into the value set for the user's home directory. Details on the effect of these parameters can be found in [Running the -Too](./running.md). +Tool](./running.md). ### Local configuration file