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 "objectkeywordtype" to "objectkeyword_type"

Browse Source
This commit is contained in:
Erik Krogh Kristensen
2020-09-04 11:55:07 +02:00
parent 174afbc0df
commit 2b3e8869c6
3 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -628,7 +628,7 @@ case @type.kind of
| 13 = @never_type
| 14 = @plain_symbol_type
| 15 = @unique_symbol_type
| 16 = @objectkeywordtype
| 16 = @objectkeyword_type
| 17 = @intersectiontype
| 18 = @tupletype
| 19 = @lexicaltypevariabletype