kframework/k — pull request #903 by yilongli (2014-08-29 15:42:48+00:00)
Title: fixing issue #902

Not sure if it would break anything.