• Michael Beck's avatar
    Fixed bad memory leak: · 1f0e7894
    Michael Beck authored
    The obstack inside a chordal_env was overwritten with an old version, causing lost allocated blocks
    
    [r13480]
    1f0e7894