FreeChainXenon/gcc
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

doc: Fix a pinch of typos in extend.texi

Browse source 
gcc/ChangeLog:

	* doc/extend.texi (C++ Concepts) <forall>: Remove extraneous
	parenthesis.  Fix misnamed index entry.
	<concept>: Fix misnamed index entry.
This commit is contained in:
Arsen Arsenović 2023-05-17 22:16:05 +02:00 • committed by Arsen Arsenović
parent 7bafe652db
commit da9140b90e
No known key found for this signature in database
GPG key ID: 52C294301EA2C493
1 changed files with 3 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
gcc/doc/extend.texi
View 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.