search

verus-lang / verus

Verified Rust for low-level systems code
MIT License
1.08k stars 58 forks source link

Fix minor typos #1141

Closed zpzigi754 closed 1 month ago

zpzigi754 commented 1 month ago

This PR fixes the below minor typos.

undexpected -> unexpected
`src/main.rs` for a library project -> `src/lib.rs` for a library project
utaal commented 1 month ago

Thank you!