kframework/k — pull request #717 by yilongli (2014-07-15 20:17:38+00:00)
Title: Fixing issue #710

@dwightguth please review