diff options
| author | Arsen Arsenović <arsen@aarsen.me> | 2023-05-17 22:16:05 +0200 |
|---|---|---|
| committer | Arsen Arsenović <arsen@gcc.gnu.org> | 2023-05-17 22:18:16 +0200 |
| commit | da9140b90e6994b79e34d4df9822a4bf81c45abe (patch) | |
| tree | 7eb0fec995de83f0e24130dee22abf0cc807f187 | |
| parent | 7bafe652dba9167b65e7b5ef24e77eceb49709ba (diff) | |
| download | gcc-da9140b90e6994b79e34d4df9822a4bf81c45abe.tar.gz | |
doc: Fix a pinch of typos in extend.texi
gcc/ChangeLog:
* doc/extend.texi (C++ Concepts) <forall>: Remove extraneous
parenthesis. Fix misnamed index entry.
<concept>: Fix misnamed index entry.
| -rw-r--r-- | gcc/doc/extend.texi | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/gcc/doc/extend.texi b/gcc/doc/extend.texi index 69b21a75e62..ed8b9c8a87b 100644 --- a/gcc/doc/extend.texi +++ b/gcc/doc/extend.texi @@ -25460,12 +25460,12 @@ assumption is valid. For example, @code{assume(n > 0)}. @item axiom Introduces an axiom definition. Axioms introduce requirements on values. -@kindex axiom +@kindex forall @item forall Introduces a universally quantified object in an axiom. For example, -@code{forall (int n) n + 0 == n}). +@code{forall (int n) n + 0 == n}. -@kindex axiom +@kindex concept @item concept Introduces a concept definition. Concepts are sets of syntactic and semantic requirements on types and their values. |