kframework/k — pull request #1000 by yilongli (2014-09-26 15:45:10+00:00)
Title: fixing issue 995

@dwightguth please review