kframework/k — pull request #877 by radumereuta (2014-08-25 22:36:36+00:00)
Title: Removing copying of attributes from parent to child when eliminating a node.

Let's see what happens. Don't review yet.