mirror_php/json-parser
1
0
Fork 0
mirror of https://github.com/cerbero90/json-parser.git synced 2025-01-29 10:38:09 +01:00
Code Issues Packages Projects Releases Wiki Activity

Mark pointer as found

Browse Source
This commit is contained in:
Andrea Marco Sartori 2022-12-21 19:28:38 +10:00
parent 8e9e381713
commit 1f34de5e2b
1 changed files with 1 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
src/Pointers/Pointers.php
View File

@ -66,8 +66,7 @@ class Pointers
public function markAsFound(Pointer $pointer): void
{
if (!$pointer->wasFound) {
$pointer->wasFound = true;
$this->found[(string) $pointer] = true;
$this->found[(string) $pointer] = $pointer->wasFound = true;
}
}