Skip to content

Commit

Permalink
chore(misti): Simplify output
Browse files Browse the repository at this point in the history
  • Loading branch information
jubnzv committed Oct 9, 2024
1 parent 9a2f916 commit 74db707
Showing 1 changed file with 1 addition and 3 deletions.
4 changes: 1 addition & 3 deletions src/misti.ts
Original file line number Diff line number Diff line change
Expand Up @@ -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}`);
Expand Down

0 comments on commit 74db707

Please sign in to comment.