From 836668d0cf29eeebbbbad20a5073a83bf64a7bae Mon Sep 17 00:00:00 2001
From: Théo Zimmermann
Date: Fri, 15 May 2020 12:08:29 +0200
Subject: Fix typo.

---
 doc/sphinx/language/extensions/canonical.rst | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'doc/sphinx')

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
-- 
cgit v1.2.3