search

dafny-lang / libraries

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

fix: missing type characteristic for a functions that accesses the Va… #142

Closed jtristan closed 10 months ago

jtristan commented 10 months ago

…lues of a map

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

jtristan commented 10 months ago

Function is ghost, so the problem is in the resolver