kframework/k — pull request #1156 by radumereuta (2014-11-04 18:36:30+00:00)
Title: Fixing #1153.

@osa1 you are right in #1153. The dependency between the two is not respected.
Nothing crashed until now since we weren't using that production in any definition, and SDF handled this somehow by default.

So, please review.