diff options
| author | coqbot-app[bot] | 2020-12-04 17:31:28 +0000 |
|---|---|---|
| committer | GitHub | 2020-12-04 17:31:28 +0000 |
| commit | 751afe3f52e52f14cf0972498d84722519dd91e7 (patch) | |
| tree | 86e38be6578608ee79bbf24f37ae5cdabcafe9f0 | |
| parent | 4d21a082f4bc1a2a98328abc545a22f448affdf4 (diff) | |
| parent | ffc0f5992e21a9dab5bead467cb41bbcc7face01 (diff) | |
Merge PR #13569: typo
Reviewed-by: jfehrle
| -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. |