kframework/k — pull request #939 by dwightguth (2014-09-09 21:37:54+00:00)
Title: fix NullPointerException in test

@osa1 please review