1
Vote

Boogie error: missing closing brace

description

The attached file results in the Boogie error
stdin.bpl(4261,3): error: "}" expected
Chalice (hg id -nibt): 61af32ca9b60+ 483+ default tip
Boogie: 2.2.30705.1126

file attachments

comments