Skip to content

Close 1314 by renaming type in examples - #1319

Open
tferariu wants to merge 2 commits into
masterfrom
1314-renaming-examples
Open

Close 1314 by renaming type in examples#1319
tferariu wants to merge 2 commits into
masterfrom
1314-renaming-examples

Conversation

@tferariu

@tferariu tferariu commented Sep 10, 2026

Copy link
Copy Markdown
Collaborator

Description

Performed the desired renaming. All changes are confined to the formal-ledget-test folder, so they should be self-contained and not affect anything else in the repo.

Checklist

  • Commit sequence broadly makes sense and commits have useful messages
  • Any semantic changes to the specifications are documented in CHANGELOG.md
  • Code is formatted according to CONTRIBUTING.md
  • Self-reviewed the diff

@tferariu tferariu linked an issue Sep 10, 2026 that may be closed by this pull request
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.

Renaming formal-ledger-test example contract Types

1 participant