Fixes Pretty Printer#635

ArquintL merged 1 commit into

masterviperproject/silver:masterfrom

unnamed-local-var-printingviperproject/silver:unnamed-local-var-printingCopy head branch name to clipboard