kframework/k — pull request #940 by osa1 (2014-09-09 22:39:56+00:00)
Title: fix #938

I copied second part of error message from `--backend` documentation.

It looks like this:

```
➜ k git:(master) ✗ kompile --backend wrong
[Error] Critical: Invalid backend: wrong It should be one of
[pdf|latex|html|maude|java|unparse|symbolic]
```