Skip to content
Snippets Groups Projects
Commit ff84926a authored by Michael Sammler's avatar Michael Sammler
Browse files

fix typo

parent 84b09b90
No related branches found
No related tags found
No related merge requests found
Pipeline #41515 passed
......@@ -20,7 +20,7 @@ of RefinedC, which is encoded in [Iris](https://gitlab.mpi-sws.org/iris/iris)
The following files contain documentation about RefinedC:
- [ANNOTATION.md](ANNOTATIONS.md): Describes the annotation syntax
- [ANNOTATIONS.md](ANNOTATIONS.md): Describes the annotation syntax
accepted by the RefinedC frontend
- [FAQ.md](FAQ.md): Describes solutions to frequently asked questions
- [ARCHITECTURE.md](ARCHITECTURE.md): Gives an high-level overview of
......@@ -267,7 +267,7 @@ functions have a specification (they have been skipped).
Let us now do some actual RefinedC verification and give a specification to
our `add3` function. Specifications are given as attributes attached to the
function definitions (or prototypes). The valid attributes and the RefinedC
syntax are documented in [ANNOTATION.md](ANNOTATIONS.md), you can consult it
syntax are documented in [ANNOTATIONS.md](ANNOTATIONS.md), you can consult it
later if you want to learn more. For now, we will introduce what we need en
passant.
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment