search

team-worthwhile / worthwhile

PSE am KIT 2011/12: Programmverifikation (Team 2)
BSD 3-Clause "New" or "Revised" License
5 stars 3 forks source link

Unexpected syntax error when conditional `else` is on a new line #60

Closed bafain closed 12 years ago

bafain commented 12 years ago

Trying to parse the following Worthwhile program

if (false) { }
else { }

gives the syntax error "missing EOF at 'else'".