blob: 997d1279c3c9f38142a6729dd7f5b45aa8bdfbc1 (
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 c:\codeplex\dafny\Test\dafny0\RefinementModificationChecking.dfy
|
