diff --git a/checkpolicy/policy_parse.y b/checkpolicy/policy_parse.y index f6cc6aed..0a17bdc7 100644 --- a/checkpolicy/policy_parse.y +++ b/checkpolicy/policy_parse.y @@ -423,6 +423,7 @@ neverallow_def : NEVERALLOW names names ':' names names ';' ; attribute_role_def : ATTRIBUTE_ROLE identifier ';' {if (define_attrib_role()) return -1; } + ; role_type_def : ROLE identifier TYPES names ';' {if (define_role_types()) return -1;} ;