diff options
| -rw-r--r-- | rtemsspec/specdoc.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/rtemsspec/specdoc.py b/rtemsspec/specdoc.py index 79555038..1bf3be42 100644 --- a/rtemsspec/specdoc.py +++ b/rtemsspec/specdoc.py @@ -54,7 +54,7 @@ _MANDATORY_ATTRIBUTES = { "Exactly one of the explicit attributes shall be specified.", "none": "None of the explicit attributes is mandatory, " - "they are all are optional.", + "they are all optional.", } _SPEC_TYPE_PREFIX = "SpecType" |