renamed "nevertype" to "never_type"

2025-12-22 03:36:30 +01:00 · 2020-09-04 11:55:05 +02:00
parent 8b2769953f
commit b1812b1be2
3 changed files with 3 additions and 3 deletions
--- a/javascript/ql/src/semmlecode.javascript.dbscheme
+++ b/javascript/ql/src/semmlecode.javascript.dbscheme
@@ -625,7 +625,7 @@ case @type.kind of
 | 10 = @void_type
 | 11 = @undefined_type
 | 12 = @null_type
-| 13 = @nevertype
+| 13 = @never_type
 | 14 = @plainsymboltype
 | 15 = @uniquesymboltype
 | 16 = @objectkeywordtype