Skip to content
This repository has been archived by the owner on Aug 5, 2024. It is now read-only.

[fix] don't use Label.toString now that it's no longer overriden #282

Merged
merged 1 commit into from
Aug 4, 2022
Merged

[fix] don't use Label.toString now that it's no longer overriden #282

merged 1 commit into from
Aug 4, 2022

Conversation

steveniemitz
Copy link
Contributor

57c2c19 removed the override of Label.toString, which broke its representation in a couple places, this changes them to use .value instead.

@steveniemitz
Copy link
Contributor Author

cc @abrams27

abrams27
abrams27 approved these changes Aug 4, 2022
View reviewed changes
Copy link
Member

@abrams27 abrams27 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

ohh, sorry i forgot about bloop part, thanks

@abrams27 abrams27 changed the title Don't use Label.toString now that it's no longer overriden [fix] don't use Label.toString now that it's no longer overriden Aug 4, 2022
@abrams27 abrams27 merged commit aca0cbf into JetBrains:master Aug 4, 2022
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Reviewers

@abrams27 abrams27 abrams27 approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@steveniemitz @abrams27