chore: remove unnecessary `\d` (#12619)

`\w` includes `\d`
pull/12623/head
btea 1 year ago committed by GitHub
parent a212b0d2fe
commit e1728e5a0b
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

@ -70,7 +70,7 @@ function merge_tables(this_table, other_table) {
} }
return [new_table, idx_map, val_changed, idx_changed]; return [new_table, idx_map, val_changed, idx_changed];
} }
const regex_line_token = /([^\d\w\s]|\s+)/g; const regex_line_token = /([^\w\s]|\s+)/g;
/** */ /** */
export class MappedCode { export class MappedCode {
/** /**

Loading…
Cancel
Save