renamed "stringtype" to "string_type"

2025-12-22 11:46:32 +01:00 · 2020-09-04 11:54:55 +02:00
parent 579d4e0d75
commit e0880c8cb1
3 changed files with 3 additions and 3 deletions
--- a/javascript/ql/src/semmlecode.javascript.dbscheme
+++ b/javascript/ql/src/semmlecode.javascript.dbscheme
@@ -613,7 +613,7 @@ type_child (

 case @type.kind of
  0 = @any_type
-| 1 = @stringtype
+| 1 = @string_type
 | 2 = @numbertype
 | 3 = @uniontype
 | 4 = @truetype