diff options
Diffstat (limited to 'gcc/doc/extend.texi')
-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. |