summaryrefslogtreecommitdiff
path: root/Test/civl/chris3.bpl.expect
blob: b415d3b934172af53e616377816c0d4c99e91cfd (plain)
1
2
chris3.bpl(17,2): Error: The callee is not available in the caller procedure
1 type checking errors detected in chris3.bpl