• Michael Beck's avatar
    BugFix: · ffe8c08d
    Michael Beck authored
    - node were allocated on the wrong obstack when creating a graph copy
    
    [r19137]
    ffe8c08d