kframework/k — pull request #1048 by dwightguth (2014-10-09 18:22:32+00:00)
Title: fixes #1047 : invalid --skip error output

@osa1 please review