115462f103
This should fix the move problems. See comment of tree_flatten() for a little example.
This should fix the move problems. See comment of tree_flatten() for a little example.