copilot-prettyprinter: Pretty-print struct update expressions. Refs #526. - #528

copilot-prettyprinter: Pretty-print struct update expressions. Refs #526.#528

ivanperez-keera merged 2 commits into

Copilot-Language:masterCopilot-Language/copilot:masterfrom

GaloisInc:develop-copilot-prettyprinter-UpdateFieldGaloisInc/copilot-1:develop-copilot-prettyprinter-UpdateFieldCopy head branch name to clipboard