kframework/k — pull request #450 by dwightguth (2014-05-15 16:58:15+00:00)
Title: fix crash in issue #231

@radumereuta please review