]> git.ipfire.org Git - thirdparty/gcc.git/commitdiff
c++: Fix up -fcontracts option description [PR108890]
authorJakub Jelinek <jakub@redhat.com>
Thu, 23 Feb 2023 14:27:31 +0000 (15:27 +0100)
committerJakub Jelinek <jakub@redhat.com>
Thu, 23 Feb 2023 14:27:31 +0000 (15:27 +0100)
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.

gcc/c-family/c.opt

index c0fea56a8f5cc4a1f2ed7c112db1639d80d3551d..3333cddeece7e3920bd903eca7ab5e28411be1d2 100644 (file)
@@ -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%>)