From 74db7071ef23cdbc6a1d5642a03ec2208480ec0a Mon Sep 17 00:00:00 2001
From: Georgiy Komarov <jubnzv@gmail.com>
Date: Wed, 9 Oct 2024 09:36:29 +0000
Subject: [PATCH] chore(misti): Simplify output

---
 src/misti.ts | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/src/misti.ts b/src/misti.ts
index 18bbcf8..c2cf051 100644
--- a/src/misti.ts
+++ b/src/misti.ts
@@ -10,9 +10,7 @@ function handleResult(result: MistiResult, ui: UIProvider): void {
   const resultStr = resultToString(result, "plain");
   switch (result.kind) {
     case "warnings":
-      ui.write(
-        `${Sym.WARN} Misti found ${result.warnings.reduce((acc, out) => acc + out.warnings.length, 0)} warnings:\n${resultStr}`,
-      );
+      ui.write(resultStr);
       break;
     case "error":
       ui.write(`${Sym.ERR} ${resultStr}`);