summaryrefslogtreecommitdiff
path: root/Test/test0/MapsResolutionErrors.bpl.expect
blob: 10070c238a72aead801b5e9a0b243d25513b1630 (plain)
1
2
3
MapsResolutionErrors.bpl(8,9): Error: type variable must occur in map arguments: b
MapsResolutionErrors.bpl(22,10): Error: type variable must occur in procedure arguments: a
2 name resolution errors detected in MapsResolutionErrors.bpl