renamed "numbertype" to "number_type"

2025-12-22 11:46:32 +01:00 · 2020-09-04 11:54:55 +02:00
parent e0880c8cb1
commit 0475e9e93c
3 changed files with 3 additions and 3 deletions
--- a/javascript/ql/src/semmlecode.javascript.dbscheme
+++ b/javascript/ql/src/semmlecode.javascript.dbscheme
@@ -614,7 +614,7 @@ type_child (
 case @type.kind of
  0 = @any_type
 | 1 = @string_type
-| 2 = @numbertype
+| 2 = @number_type
 | 3 = @uniontype
 | 4 = @truetype
 | 5 = @falsetype