blob: 060ee3e4f9cbcd5442a35bf0fc8e7cd4da0ea079 (
plain)
1
2
3
|
RefinementModificationChecking.dfy(19,4): Error: cannot assign to variable defined previously
RefinementModificationChecking.dfy(20,4): Error: cannot assign to variable defined previously
2 resolution/type errors detected in RefinementModificationChecking.dfy
|