team-worthwhile/worthwhile — Issue #84: Comments after _ensures are colored after proof
Author: leonhandreke
Created: 2012-02-20 19:00:21+00:00
State: open
Labels: ui

When trying to prove the following program, the `_ensures` is colored in green (as it should). However, `// troll comment` is also colored. This shouldn't happen.

```
function Integer noop(Integer a)
_ensures _return = a
// troll comment
{
return a
}
```