Closed robin-aws closed 3 months ago
Issue #, if available: https://github.com/dafny-lang/dafny/issues/5293
Description of changes: Fixes a verification regression on latest Dafny prerelease
By submitting this pull request, I confirm that you can use, modify, copy, and redistribute this contribution, under the terms of your choice.
Issue #, if available: https://github.com/dafny-lang/dafny/issues/5293
Description of changes: Fixes a verification regression on latest Dafny prerelease
By submitting this pull request, I confirm that you can use, modify, copy, and redistribute this contribution, under the terms of your choice.