Skip to content
This repository was archived by the owner on Sep 27, 2023. It is now read-only.

Lesson 06 AuctionBroken: Fix compilation#29

Open
mmv08 wants to merge 1 commit intoCertora:masterfrom
mmv08:patch-1
Open

Lesson 06 AuctionBroken: Fix compilation#29
mmv08 wants to merge 1 commit intoCertora:masterfrom
mmv08:patch-1

Conversation

@mmv08
Copy link

@mmv08 mmv08 commented Mar 7, 2023

There was an extra character that broke the compilation

There was an extra character that broke the compilation
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant