* [pushed] doc: Fix a pinch of typos in extend.texi
@ 2023-05-17 20:26 Arsen Arsenović
0 siblings, 0 replies; only message in thread
From: Arsen Arsenović @ 2023-05-17 20:26 UTC (permalink / raw)
To: gcc-patches; +Cc: Arsen Arsenović
gcc/ChangeLog:
* doc/extend.texi (C++ Concepts) <forall>: Remove extraneous
parenthesis. Fix misnamed index entry.
<concept>: Fix misnamed index entry.
---
Pushed as obvious.
gcc/doc/extend.texi | 6 +++---
1 file 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.
--
2.40.1
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2023-05-17 20:26 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2023-05-17 20:26 [pushed] doc: Fix a pinch of typos in extend.texi Arsen Arsenović
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).