Commit 7bd53d2f authored by Jaime Arias's avatar Jaime Arias
Browse files

fix typo

parent ecf4ad86
......@@ -26,7 +26,7 @@ can found the sources of the `adt2amas` tool
and the sources of the `adt2maude`
[here](https://depot.lipn.univ-paris13.fr/parties/tools/adt2maude). Binaries for
multiple OS of the `adt2amas` tool can be found in the folder `tool`. The script
`tool/adt2maude/install-deps.sh` downloads the dependenceis of the `adt2maude`
`tool/adt2maude/install-deps.sh` downloads the dependencies of the `adt2maude`
tool.
In order to reproduce the results, the command to be executed is the following:
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment