diff options
| -rw-r--r-- | config/check_spidermonkey_style.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/config/check_spidermonkey_style.py b/config/check_spidermonkey_style.py index a3d1b61aee..cc8695cee7 100644 --- a/config/check_spidermonkey_style.py +++ b/config/check_spidermonkey_style.py @@ -86,6 +86,7 @@ included_inclnames_to_ignore = set([ 'unicode/udat.h', # ICU 'unicode/udatpg.h', # ICU 'unicode/uenum.h', # ICU + 'unicode/uniset.h', # ICU 'unicode/unorm.h', # ICU 'unicode/unum.h', # ICU 'unicode/unumsys.h', # ICU |