From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mout-p-101.mailbox.org (mout-p-101.mailbox.org [80.241.56.151]) by sourceware.org (Postfix) with ESMTPS id 6D9DE3858D1E for ; Wed, 17 May 2023 20:26:55 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org 6D9DE3858D1E Authentication-Results: sourceware.org; dmarc=pass (p=reject dis=none) header.from=aarsen.me Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=aarsen.me Received: from smtp2.mailbox.org (smtp2.mailbox.org [IPv6:2001:67c:2050:b231:465::2]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange ECDHE (P-384) server-signature RSA-PSS (4096 bits) server-digest SHA256) (No client certificate requested) by mout-p-101.mailbox.org (Postfix) with ESMTPS id 4QM4QN0s6bz9smR; Wed, 17 May 2023 22:26:52 +0200 (CEST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=aarsen.me; s=MBO0001; t=1684355212; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:cc:mime-version:mime-version: content-transfer-encoding:content-transfer-encoding; bh=l0pIUIOCP0P7J9j3fsgeMJTH8z4x3FPlAFeaxjWxmAk=; b=yhFbiip8yJ4pSGTU/vk83vJRci50pMpi+qinh4o+6MgEyri1BcQ/Z+M1c4TSUnHKatZu1W TBczJiQTcqXR8V+e9TPLGUsuAsMJdbjHiISVphzvLXnFvOgKgu+MUh3nPZUhUq9Qt0Wp6X VLum+g7lKHQoDnuJXhVkkrgH5iER0t8Qg0Bb4robszUFZpWFG1yuxsBLdBAGIZdhYG5WQ+ 8+2uGQ/7RS8BPiLsKvoHRYb4Cf4ZZhml0/CD+rHPjg9zHkGWYl0Xs1PjASbHHGYCukfB+Y FnW76dnNbvf5tspRtqfBhilMM2OP7V5YXJQy6SIIDYv6K1yS1y7Vbd1sDvE52w== From: =?UTF-8?q?Arsen=20Arsenovi=C4=87?= To: gcc-patches@gcc.gnu.org Cc: =?UTF-8?q?Arsen=20Arsenovi=C4=87?= Subject: [pushed] doc: Fix a pinch of typos in extend.texi Date: Wed, 17 May 2023 22:26:46 +0200 Message-Id: <20230517202646.3793039-1-arsen@aarsen.me> MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-Rspamd-Queue-Id: 4QM4QN0s6bz9smR X-Spam-Status: No, score=-10.9 required=5.0 tests=BAYES_00,DKIM_SIGNED,DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,GIT_PATCH_0,KAM_INFOUSMEBIZ,RCVD_IN_DNSWL_LOW,SPF_HELO_NONE,SPF_PASS,TXREP,T_SCC_BODY_TEXT_LINE autolearn=ham autolearn_force=no version=3.4.6 X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on server2.sourceware.org List-Id: gcc/ChangeLog: * doc/extend.texi (C++ Concepts) : Remove extraneous parenthesis. Fix misnamed index entry. : 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