Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Problem: plprologu is documented as trusted in the comment
Solution: fix the target of the comment
- Loading branch information