diff --git a/checkpolicy/policy_scan.l b/checkpolicy/policy_scan.l index 19c05a58..1926129c 100644 --- a/checkpolicy/policy_scan.l +++ b/checkpolicy/policy_scan.l @@ -308,7 +308,7 @@ GLBLUB { return(GLBLUB); } "]" | "~" | "*" { return(yytext[0]); } -. { yyerror("unrecognized character");} +. { yyerror("unrecognized character"); return YYerror; } %% int yyerror(const char *msg) {