From: Arsen Arsenović <arsen@aarsen.me>
Date: Wed, 17 May 2023 20:16:05 +0000 (+0200)
Subject: doc: Fix a pinch of typos in extend.texi
X-Git-Tag: basepoints/gcc-15~9188
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=da9140b90e6994b79e34d4df9822a4bf81c45abe;p=thirdparty%2Fgcc.git

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.
---

diff --git a/gcc/doc/extend.texi b/gcc/doc/extend.texi
index 69b21a75e621..ed8b9c8a87b4 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.