Richard Guenther <richard.guenther@gmail.com> writes: > On Tue, Sep 14, 2010 at 5:36 PM, Sebastian Pop <sebpop@gmail.com> wrote: > > Just free them. All following users are required to eventually > compute them anyway. Thus, > > free_dominance_info (CDI_DOMINATORS); > Thanks, it works! :) -- PMatos