From 27066451263c71ad092e44937afefa4d13677b5c Mon Sep 17 00:00:00 2001
From: Bruce Weirdan <weirdan@gmail.com>
Date: Tue, 30 Nov 2021 21:21:38 +0200
Subject: [PATCH] Prevent VoidProgress from outputting anything

Fixes vimeo/psalm#7028
---
 src/Psalm/Progress/VoidProgress.php | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/Psalm/Progress/VoidProgress.php b/src/Psalm/Progress/VoidProgress.php
index 54bce3cad26..c241dcc88bf 100644
--- a/src/Psalm/Progress/VoidProgress.php
+++ b/src/Psalm/Progress/VoidProgress.php
@@ -3,4 +3,7 @@
 
 class VoidProgress extends Progress
 {
+    public function write(string $message): void
+    {
+    }
 }