kframework/k — pull request #1257 by dwightguth (2014-12-12 23:02:20+00:00)
Title: some fixes to the way klabels are heated

**do not review yet**