renamed "catchscope" to "catch_scope"

2025-12-22 11:46:32 +01:00 · 2020-09-04 11:54:42 +02:00
parent a871963481
commit 5f06bf05bd
3 changed files with 3 additions and 3 deletions
--- a/javascript/ql/src/semmlecode.javascript.dbscheme
+++ b/javascript/ql/src/semmlecode.javascript.dbscheme
@@ -411,7 +411,7 @@ scopes (unique int id: @scope,
 case @scope.kind of
   0 = @global_scope
 |  1 = @function_scope
-|  2 = @catchscope
+|  2 = @catch_scope
 |  3 = @modulescope
 |  4 = @blockscope
 |  5 = @forscope