Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Fix a line that was missed when renaming. (#3174)
## Motivation #3168 and #3169 were merged without rebasing on each other, breaking the build. ## Proposal Fix the broken line. ## Test Plan With this and #3171 CI should work again. ## Release Plan - Nothing to do / These changes follow the usual release cycle. ## Links - [reviewer checklist](https://github.com/linera-io/linera-protocol/blob/main/CONTRIBUTING.md#reviewer-checklist)
- Loading branch information