405c405
< char *AslErrorLevel [ASL_NUM_REPORT_LEVELS] = {
---
> const char *AslErrorLevel [ASL_NUM_REPORT_LEVELS] = {
413a414,422
> const char *AslErrorLevelIde [ASL_NUM_REPORT_LEVELS] = {
> "warning ",
> "warning ",
> "warning ",
> "error ",
> "remark ",
> "optimize"
> };
>