diff --exclude-from=exclude -N -u -r nsacheckpolicy/policy_parse.y checkpolicy-2.0.22/policy_parse.y --- nsacheckpolicy/policy_parse.y 2010-05-19 14:45:51.000000000 -0400 +++ checkpolicy-2.0.22/policy_parse.y 2010-06-16 08:08:37.000000000 -0400 @@ -755,6 +755,8 @@ ; version_identifier : VERSION_IDENTIFIER { if (insert_id(yytext,0)) return -1; } + | number + { if (insert_id(yytext,0)) return -1; } | ipv4_addr_def /* version can look like ipv4 address */ ; avrules_block : avrule_decls avrule_user_defs