kframework/k — pull request #832 by radumereuta (2014-08-13 00:23:32+00:00)
Title: Fixing the 80 character per line issue.

The error message now looks like this:
```
d:\work\k\samples\test>kompile test.k
[Error] Compiler: Cannot declare empty terminals in the definition.
Use attribute 'onlyLabel', or both 'notInRules' and 'notInGround'
paired with 'klabel(...)' to limit the use to programs.
Source: File: d:\work\k\samples\test\test.k
Location: (3,19,3,20)
```
@grosu please review.