From 5826c455a7f19a212f38b47ddfe670d02477a4f4 Mon Sep 17 00:00:00 2001
From: Philipp Lang <philipp@aweos.de>
Date: Fri, 4 Nov 2022 15:44:04 +0100
Subject: [PATCH] lint

---
 src/CompilerException.php | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/CompilerException.php b/src/CompilerException.php
index 44535cd..d08345c 100644
--- a/src/CompilerException.php
+++ b/src/CompilerException.php
@@ -8,6 +8,9 @@ class CompilerException extends Exception
 {
     public string $output;
 
+    /**
+     * @param array<int, string> $output
+     */
     public function setOutput(array $output): self
     {
         $this->output = implode("\n", $output);