kframework/k — pull request #1023 by dwightguth (2014-10-01 16:25:56+00:00)
Title: add line to readme about error

@osa1 please review