• Sylvain Dailler's avatar
    Fix crash of eliminate_unknown_types · 9a360820
    Sylvain Dailler authored
    It was previously possible to keep a constant when there was a removed
    symbol in its definition. This changes makes removals be propagated to
    other constants.
    
    This patch mainly adds a variable that keeps track of already removed
    declarations.
    9a360820
eliminate_unknown_types.ml 4.16 KB