renamed "withstmt" to "with_stmt"

2025-12-23 04:06:37 +01:00 · 2020-09-04 11:53:09 +02:00
parent 569c5f19cb
commit 3f47afa595
3 changed files with 4 additions and 4 deletions
--- a/javascript/ql/src/semmlecode.javascript.dbscheme
+++ b/javascript/ql/src/semmlecode.javascript.dbscheme
@@ -156,7 +156,7 @@ case @stmt.kind of
 |  4 = @labeled_stmt
 |  5 = @break_stmt
 |  6 = @continue_stmt
-|  7 = @withstmt
+|  7 = @with_stmt
 |  8 = @switchstmt
 |  9 = @returnstmt
 | 10 = @throwstmt