kframework/k — pull request #826 by yilongli (2014-08-11 21:05:32+00:00)
Title: fixing issue 825

fixing https://github.com/kframework/k/issues/825