kframework/k — pull request #1235 by dwightguth (2014-12-03 22:43:45+00:00)
Title: fix bug in #1220

@andreistefanescu please review