hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-22 03:36:30 +01:00
Code Issues Packages Projects Releases Wiki Activity

renamed "plainsymboltype" to "plain_symbol_type"

Browse Source
This commit is contained in:
Erik Krogh Kristensen
2020-09-04 11:55:06 +02:00
parent b1812b1be2
commit a1daf0a428
3 changed files with 4 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
javascript/ql/src/semmlecode.javascript.dbscheme
View File

@@ -626,7 +626,7 @@ case @type.kind of
| 11 = @undefined_type
| 12 = @null_type
| 13 = @never_type
| 14 = @plainsymboltype
| 14 = @plain_symbol_type
| 15 = @uniquesymboltype
| 16 = @objectkeywordtype
| 17 = @intersectiontype
@@ -641,7 +641,7 @@ case @type.kind of
;
@booleanliteraltype = @true_type | @false_type;
@symbol_type = @plainsymboltype | @uniquesymboltype;
@symbol_type = @plain_symbol_type | @uniquesymboltype;
@union_or_intersection_type = @union_type | @intersectiontype;
@typevariable_type = @canonical_type_variable_type | @lexicaltypevariabletype;