From: Jakub Jelinek <jakub@redhat.com>
Date: Thu, 23 Feb 2023 14:27:31 +0000 (+0100)
Subject: c++: Fix up -fcontracts option description [PR108890]
X-Git-Tag: basepoints/gcc-14~903
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=9f9a7095d910379cd86ac45f81c79b363f859996;p=thirdparty%2Fgcc.git

c++: Fix up -fcontracts option description [PR108890]

This translation PR mentioned the description is a little bit weird.

2023-02-23  Jakub Jelinek  <jakub@redhat.com>

	PR translation/108890
	* c.opt (fcontracts): Fix description.
---

diff --git a/gcc/c-family/c.opt b/gcc/c-family/c.opt
index c0fea56a8f5c..3333cddeece7 100644
--- a/gcc/c-family/c.opt
+++ b/gcc/c-family/c.opt
@@ -1689,7 +1689,7 @@ C++ ObjC++ Joined RejectNegative Host_Wide_Int Var(constexpr_ops_limit) Init(335
 
 fcontracts
 C++ ObjC++ Var(flag_contracts) Init(0)
-Enable certain features present drafts of C++ Contracts.
+Enable certain features present in drafts of C++ Contracts.
 
 Enum
 Name(on_off) Type(int) UnknownError(argument %qs must be either %<on%> or %<off%>)