renamed "nulltype" to "null_type"

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