Fix labelCharMap for DEL character

This map is supposed to have string keys, not integer keys.
nikic · May 20, 2023 · 74caed6 · 74caed6
1 parent a5d4c10
commit 74caed6
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/lib/PhpParser/PrettyPrinterAbstract.php b/lib/PhpParser/PrettyPrinterAbstract.php
@@ -1249,7 +1249,7 @@ protected function initializeLabelCharMap(): void {
         }
 
         if ($this->phpVersion->allowsDelInIdentifiers()) {
-            $this->labelCharMap[0x7f] = true;
+            $this->labelCharMap["\x7f"] = true;
         }
     }