dafny-lang / libraries

Libraries useful for Dafny programs
Other
43 stars 25 forks source link

fix: deprecated style: a semi-colon is not needed here #143

Closed seebees closed 1 year ago

seebees commented 1 year ago

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