kframework/k — pull request #919 by osa1 (2014-09-01 19:36:36+00:00)
Title: #910 reopened for master branch

#910