diff options
| author | Yves Bertot | 2020-12-04 11:10:03 +0100 |
|---|---|---|
| committer | Yves Bertot | 2020-12-04 11:10:03 +0100 |
| commit | ffc0f5992e21a9dab5bead467cb41bbcc7face01 (patch) | |
| tree | 1f2672d135431b283d4c4c9fec1680ea3d253098 /doc/sphinx/language/extensions | |
| parent | 4830993d2e51d55be05444e838f39c18e5f9eee6 (diff) | |
typo
Diffstat (limited to 'doc/sphinx/language/extensions')
| -rw-r--r-- | doc/sphinx/language/extensions/arguments-command.rst | 2 |
1 files changed, 1 insertions, 1 deletions
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. |