Fix default printer

pestphp · Nov 18, 2023 · 31fe38c · 31fe38c
1 parent ba0a265
commit 31fe38c
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/Support/Printers/DefaultPrinter.php b/src/Support/Printers/DefaultPrinter.php
@@ -142,11 +142,11 @@ private function writeMutationTestSummary(MutationTest $test): void
 
         $diff = '';
         foreach ($test->mutation->diff['modified'] as $line) {
-            $line = htmlentities($line); // TODO: this is not good, but currently required other printer breaks on `$this->foo()` because of the >
+            $line = htmlentities((string) $line); // TODO: this is not good, but currently required other printer breaks on `$this->foo()` because of the >
             $diff .= "<div class='text-green'>+ {$line}</div>";
         }
         foreach ($test->mutation->diff['original'] as $line) {
-            $line = htmlentities($line); // TODO: this is not good, but currently required other printer breaks on `$this->foo()` because of the >
+            $line = htmlentities((string) $line); // TODO: this is not good, but currently required other printer breaks on `$this->foo()` because of the >
             $diff .= "<div class='text-red'>- {$line}</div>";
         }