From 84852ab8d9d4cbe3939d6f55e48e20f0481c3166 Mon Sep 17 00:00:00 2001
From: Ondrej Mirtes <ondrej@mirtes.cz>
Date: Sat, 3 Sep 2022 09:53:58 +0200
Subject: [PATCH] Result cache needs to be cleared after
 reportUnmatchedIgnoredErrors is changed

Because of "No error to ignore is reported on line" that's cached
---
 src/Analyser/ResultCache/ResultCacheManager.php | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/Analyser/ResultCache/ResultCacheManager.php b/src/Analyser/ResultCache/ResultCacheManager.php
index 9631426b1b..a6f4743d18 100644
--- a/src/Analyser/ResultCache/ResultCacheManager.php
+++ b/src/Analyser/ResultCache/ResultCacheManager.php
@@ -722,7 +722,6 @@ private function getMeta(array $allAnalysedFiles, ?array $projectConfigArray): a
 			unset($projectConfigArray['parameters']['parallel']);
 			unset($projectConfigArray['parameters']['internalErrorsCountLimit']);
 			unset($projectConfigArray['parameters']['cache']);
-			unset($projectConfigArray['parameters']['reportUnmatchedIgnoredErrors']);
 			unset($projectConfigArray['parameters']['memoryLimitFile']);
 			unset($projectConfigArray['parametersSchema']);
 		}