blob: 6d3c04cdb42d7c7e3be0f4208656f43dce810b49 (
plain)
1
2
3
|
AssertVerifiedUnder0.bpl(6,11): Error: attribute :verified_under accepts only one argument of type bool
AssertVerifiedUnder0.bpl(7,11): Error: attribute :verified_under accepts only one argument of type bool
2 type checking errors detected in AssertVerifiedUnder0.bpl
|
