• Igor Babaev's avatar
    Fixed bug mdev-4355. · fa7f6772
    Igor Babaev authored
    This patch almost totally revised the patch for bug mdev-4177.
    The latter had too many defects. In particular, it did not
    propagate multiple equalities formed when merging a degenerate
    disjunct into underlying AND formula.
    fa7f6772
select_pkeycache.result 153 KB