diff options
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 |