kframework/k — pull request #712 by bmmoore (2014-07-11 19:12:50+00:00)
Title: Deprecate Production.getLabel

This method is confusing against getKLabel. If it's needed at all, maybe it should be renamed to getPrefixLabel and the private getPrefixLabel helper method renamed.