kframework/k — pull request #521 by osa1 (2014-05-30 13:42:39+00:00)
Title: fix for #518

#518