Igor Babaev 28b2eaa81a Fixed LP bug #823301. ...

A bug in the code of the function key_or could lead to a situation
when performing of an OR operation for one index changes the result
the operation for another index. This bug is fixed with this patch.

Also corrected the specification and the code of the function 
or_sel_tree_with_checks.

2011-11-12 02:20:44 -08:00

35 KiB

Executable File

Raw Blame History

View Raw