kframework/k — pull request #1112 by dwightguth (2014-10-27 17:04:24+00:00)
Title: fix improper error message on parse failure

@radumereuta please review