diff options
| author | Théo Zimmermann | 2020-05-15 12:08:29 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2020-05-15 12:08:29 +0200 |
| commit | 836668d0cf29eeebbbbad20a5073a83bf64a7bae (patch) | |
| tree | 5375f490720e6d2f8780bbac3f8b2e26c26e4373 /doc/sphinx/language | |
| parent | 88286ec054a82b91b56c69091d7daca585cea1b2 (diff) | |
Fix typo.
Diffstat (limited to 'doc/sphinx/language')
| -rw-r--r-- | doc/sphinx/language/extensions/canonical.rst | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/sphinx/language/extensions/canonical.rst b/doc/sphinx/language/extensions/canonical.rst index 87c9b96a84..f55f3c5495 100644 --- a/doc/sphinx/language/extensions/canonical.rst +++ b/doc/sphinx/language/extensions/canonical.rst @@ -18,8 +18,8 @@ inference of canonical structures. .. _canonical-structure-declaration: -Declaraction of canonical structures ------------------------------------- +Declaration of canonical structures +----------------------------------- A canonical structure is an instance of a record/structure type that can be used to solve unification problems involving a projection |