kframework/k — pull request #942 by dwightguth (2014-09-10 16:53:31+00:00)
Title: fix usage message (issue #941)

@cos please review