• Michael Beck's avatar
    Try to fix a rare edges bug: · 896321f0
    Michael Beck authored
    - if a node was built with edges disabled gets dead, but is revived by CSE when edges are enabled, it had NO edges
    - tries to keep track of such dead nodes ...
    
    [r26954]
    896321f0