From 210c35e69fc8af27608c3bd14d604073e9b783c8 Mon Sep 17 00:00:00 2001
From: Ondrej Mirtes <ondrej@mirtes.cz>
Date: Thu, 22 Sep 2022 14:07:43 +0200
Subject: [PATCH] Fix

---
 tests/PHPStan/Rules/Properties/data/bug-7200.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tests/PHPStan/Rules/Properties/data/bug-7200.php b/tests/PHPStan/Rules/Properties/data/bug-7200.php
index f71944de3d..3444a33d9b 100644
--- a/tests/PHPStan/Rules/Properties/data/bug-7200.php
+++ b/tests/PHPStan/Rules/Properties/data/bug-7200.php
@@ -1,4 +1,4 @@
-<?php declare(strict_types = 1);
+<?php declare(strict_types = 1); // lint >= 8.0
 
 namespace Bug7200;