Skip to content

Pretty printing dummy node#636

Merged
marcoeilers merged 1 commit into
masterfrom
meilers_pprint_dummynode
Dec 16, 2022
Merged

Pretty printing dummy node#636
marcoeilers merged 1 commit into
masterfrom
meilers_pprint_dummynode

Conversation

@marcoeilers

Copy link
Copy Markdown
Contributor

Some internal errors have a dummy node as the offendingNode. Currently, the pretty printer crashes when asked to pretty print it. This PR fixes that.

@marcoeilers marcoeilers requested a review from Felalolf December 16, 2022 14:43
@marcoeilers marcoeilers merged commit 9888c23 into master Dec 16, 2022
@marcoeilers marcoeilers deleted the meilers_pprint_dummynode branch December 16, 2022 15:24
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants