kframework/k — pull request #495 by yilongli (2014-05-23 06:19:34+00:00)
Title: fixing #146

@dwightguth @andreistefanescu please review