]> git.ipfire.org Git - thirdparty/gcc.git/commitdiff
doc: Fix a pinch of typos in extend.texi
authorArsen Arsenović <arsen@aarsen.me>
Wed, 17 May 2023 20:16:05 +0000 (22:16 +0200)
committerArsen Arsenović <arsen@gcc.gnu.org>
Wed, 17 May 2023 20:18:16 +0000 (22:18 +0200)
gcc/ChangeLog:

* doc/extend.texi (C++ Concepts) <forall>: Remove extraneous
parenthesis.  Fix misnamed index entry.
<concept>: Fix misnamed index entry.

gcc/doc/extend.texi

index 69b21a75e6214f74ce1228ba15f8ec3eec7d73a9..ed8b9c8a87b407796c8c01c7066e732c639f9a1d 100644 (file)
@@ -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.