kframework/k — pull request #713 by yilongli (2014-07-11 21:07:57+00:00)
Title: fixing-issue#709

@dwightguth please review