renamed "whilestmt" to "while_stmt"

2025-12-23 04:06:37 +01:00 · 2020-09-04 11:53:13 +02:00
parent f749d46fe8
commit ed585de1a0
3 changed files with 4 additions and 4 deletions
--- a/javascript/ql/src/semmlecode.javascript.dbscheme
+++ b/javascript/ql/src/semmlecode.javascript.dbscheme
@@ -161,7 +161,7 @@ case @stmt.kind of
 |  9 = @return_stmt
 | 10 = @throw_stmt
 | 11 = @try_stmt
-| 12 = @whilestmt
+| 12 = @while_stmt
 | 13 = @dowhilestmt
 | 14 = @forstmt
 | 15 = @forinstmt