diff --git a/man7/attributes.7 b/man7/attributes.7 index 9f9e0a10f..3d91b7b19 100644 --- a/man7/attributes.7 +++ b/man7/attributes.7 @@ -858,7 +858,7 @@ context. .I /condition Some safety annotations may be conditional, in that they only apply if a boolean expression involving arguments, -global variables or even the underlying kernel evaluates evaluates to true. +global variables or even the underlying kernel evaluates to true. .\" Such conditions as .\" .I /hurd .\" or