Remove unnecessary casting

2023-10-17 15:19:04 +02:00
parent 67f6f8f160
commit 2d5caa77bc
1 changed files with 1 additions and 1 deletions
--- a/extensions/ql-vscode/scripts/source-map.ts
+++ b/extensions/ql-vscode/scripts/source-map.ts
@@ -137,7 +137,7 @@ async function extractSourceMap() {
          }
        }

-        const sourceMap = rawSourceMaps.get(file) as RawSourceMap | null;
+        const sourceMap = rawSourceMaps.get(file);
        if (!sourceMap) {
          return match;
        }