search

dafny-lang / dafny

Dafny is a verification-aware programming language
https://dafny.org
Other
2.94k stars 263 forks source link

chore: remove unused crates from Cargo.toml #5791

Closed ajewellamz closed 2 months ago

ajewellamz commented 2 months ago

Description

remove unused crates from Cargo.toml

How has this been tested?

If it compiles, that's test enough.

By submitting this pull request, I confirm that my contribution is made under the terms of the MIT license.