blob: 48b21162787541b9fd831245ebaa708070b6c1bc (
plain)
1
2
3
|
SeparateVerification1.bpl(6,6): Error: undeclared identifier: x
SeparateVerification0.bpl(16,6): Error: undeclared identifier: x
2 name resolution errors detected in SeparateVerification0.bpl
|