Fix a typo (#2755)

apalache-mc · Oct 10, 2023 · 9ec6f9e · 9ec6f9e
1 parent ec4cc94
commit 9ec6f9e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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