From 8c12156a2298fb99227c6a319998025577d79114 Mon Sep 17 00:00:00 2001
From: Jonas <jonas.fiala.cardiff@gmail.com>
Date: Thu, 20 Jan 2022 17:12:01 +0100
Subject: [PATCH] Fix "undefined warnings" bug

---
 src/diagnostics.ts | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/diagnostics.ts b/src/diagnostics.ts
index 7814fd6b..3de7e2c9 100644
--- 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";