Manual extended loplugin:ostr change

Change-Id: I003851390566dfe2b98cecc88afc8153f061ad68
Reviewed-on: https://gerrit.libreoffice.org/c/core/+/159522
Tested-by: Jenkins
Reviewed-by: Stephan Bergmann <sbergman@redhat.com>
This commit is contained in:
Stephan Bergmann 2023-11-16 21:24:04 +01:00
parent a93dd64747
commit 363b4078be

View file

@ -3967,9 +3967,9 @@ name:
identifier:
TOK_IDENTIFIER
| TOK_GET { $$ = new OString("get"); }
| TOK_PUBLISHED { $$ = new OString("published"); }
| TOK_SET { $$ = new OString("set"); }
| TOK_GET { $$ = new OString("get"_ostr); }
| TOK_PUBLISHED { $$ = new OString("published"_ostr); }
| TOK_SET { $$ = new OString("set"_ostr); }
;
deprecated_opt: