Fix "undefined warnings" bug

viperproject · Jan 20, 2022 · 8c12156 · 8c12156
1 parent bf0fca6
commit 8c12156
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/diagnostics.ts b/src/diagnostics.ts
@@ -641,7 +641,7 @@ export class DiagnosticsManager {
                 this.verificationStatus.command = "workbench.action.problems.focus";
             } else if (verificationDiagnostics.hasWarnings()) {
                 const counts = verificationDiagnostics.countsBySeverity();
-                const warnings = counts.get(vscode.DiagnosticSeverity.Error);
+                const warnings = counts.get(vscode.DiagnosticSeverity.Warning);
                 const noun = warnings === 1 ? "warning" : "warnings";
                 this.verificationStatus.text = `$(warning) Verification of ${target} '${escapedFileName}' succeeded with ${warnings} ${noun} (${durationSecMsg} s)`;
                 this.verificationStatus.command = "workbench.action.problems.focus";