blob: 9e420fa7b21f0919761f496fb8ab64ced4ed95e8 (
plain)
1
2
3
|
unnecessaryassumes0.bpl(7,4): Error: more than one statement with same id: s0
unnecessaryassumes0.bpl(12,4): Error: more than one statement with same id: s0
2 name resolution errors detected in unnecessaryassumes0.bpl
|