renamed "objecttype" to "object_type"

2025-12-22 11:46:32 +01:00 · 2020-09-04 11:54:59 +02:00
parent b72daf6559
commit 1d9dd92389
3 changed files with 3 additions and 3 deletions
--- a/javascript/ql/src/semmlecode.javascript.dbscheme
+++ b/javascript/ql/src/semmlecode.javascript.dbscheme
@@ -619,7 +619,7 @@ case @type.kind of
 | 4 = @true_type
 | 5 = @false_type
 | 6 = @type_reference
-| 7 = @objecttype
+| 7 = @object_type
 | 8 = @canonicaltypevariabletype
 | 9 = @typeoftype
 | 10 = @voidtype