BugFix for a rare case:
authorMichael Beck <beck@ipd.info.uni-karlsruhe.de>
Fri, 17 Oct 2008 04:40:57 +0000 (04:40 +0000)
committerMichael Beck <beck@ipd.info.uni-karlsruhe.de>
Fri, 17 Oct 2008 04:40:57 +0000 (04:40 +0000)
commit2e3f03db78d2a5a8cfc94dd09bdc086034b57bd7
tree7bd4e9e84b4b04d9167bde0dfede0814e4e5c8dc
parent25439d3f265caf4dac1b685a017b91cf88b2caac
BugFix for a rare case:
  when splitting a partition containing followers, these
  might stay on the "looser" side and must be constant-propagated
  then to allow them to split out.
  This might be a fix for a self-made problem. We do the follower ->
  leader transition on both sides while the original algo "might"
  do than on the winner side only...

[r22962]
ir/opt/combo.c