kframework/k — pull request #560 by yilongli (2014-06-07 03:55:32+00:00)
Title: fix issue #555

Only throw the warning if the ```kLabelConstant``` associated with multiple productions is actually being transformed to built-in data structure.