From 76d449a358ece77d6f1d6331c68453e657172202 Mon Sep 17 00:00:00 2001
From: Jordi Boggiano <j.boggiano@seld.be>
Date: Mon, 18 Dec 2023 14:03:25 +0100
Subject: [PATCH] Fix phpstan build

---
 src/Seld/JsonLint/DuplicateKeyException.php | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/Seld/JsonLint/DuplicateKeyException.php b/src/Seld/JsonLint/DuplicateKeyException.php
index d5a579b..1f7670c 100644
--- a/src/Seld/JsonLint/DuplicateKeyException.php
+++ b/src/Seld/JsonLint/DuplicateKeyException.php
@@ -14,7 +14,6 @@
 class DuplicateKeyException extends ParsingException
 {
     /**
-     * @phpstan-ignore-next-line
      * @var array{key: string, line: int}
      */
     protected $details;