From ffc0f5992e21a9dab5bead467cb41bbcc7face01 Mon Sep 17 00:00:00 2001
From: Yves Bertot
Date: Fri, 4 Dec 2020 11:10:03 +0100
Subject: typo

---
 doc/sphinx/language/extensions/arguments-command.rst | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/sphinx/language/extensions/arguments-command.rst b/doc/sphinx/language/extensions/arguments-command.rst
index 95c5914e47..d178311b4c 100644
--- a/doc/sphinx/language/extensions/arguments-command.rst
+++ b/doc/sphinx/language/extensions/arguments-command.rst
@@ -79,7 +79,7 @@ Setting properties of a function's arguments
 
       `!`
          the function will be unfolded only if all the arguments marked with `!`
-         evaulate to constructors.  See :ref:`Args_effect_on_unfolding`.
+         evaluate to constructors.  See :ref:`Args_effect_on_unfolding`.
 
       :n:`@name {? % @scope }`
          a *formal parameter* of the function :n:`@reference` (i.e.
-- 
cgit v1.2.3