Skip to content

chore: Minor code cleanup for PR 2716#2765

Merged
TomAFrench merged 1 commit intomasterfrom
jf/small-changes
Sep 20, 2023
Merged

chore: Minor code cleanup for PR 2716#2765
TomAFrench merged 1 commit intomasterfrom
jf/small-changes

Conversation

@jfecher
Copy link
Copy Markdown
Contributor

@jfecher jfecher commented Sep 20, 2023

Description

Problem*

Some minor code cleanup from the comments in #2716. I can't suggest changes and apply them in that PR so I figured a separate PR would be faster.

Resolves

Summary*

Documentation

  • This PR requires documentation updates when merged.

    • I will submit a noir-lang/docs PR.
    • I will request for and support Dev Rel's help in documenting this PR.

Additional Context

PR Checklist*

  • I have tested the changes locally.
  • I have formatted the changes with Prettier and/or cargo fmt on default settings.

@jfecher jfecher requested a review from vezenovm September 20, 2023 17:19
@TomAFrench TomAFrench added this pull request to the merge queue Sep 20, 2023
Merged via the queue into master with commit e5087a6 Sep 20, 2023
@TomAFrench TomAFrench deleted the jf/small-changes branch September 20, 2023 18:29
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.

3 participants