Argh, we need to propagate if at least one infinity is added.
authorSebastian Buchwald <Sebastian.Buchwald@kit.edu>
Fri, 30 Jul 2010 13:23:03 +0000 (13:23 +0000)
committerSebastian Buchwald <Sebastian.Buchwald@kit.edu>
Fri, 30 Jul 2010 13:23:03 +0000 (13:23 +0000)
commit36ce90e5b4ad35ded2253c2e3b9b2283db90742f
tree5a3da46a2fc75573e3c136e210e65444f150d6da
parent9958ab261229fcf06191c2a93f6604b74c50bd6e
Argh, we need to propagate if at least one infinity is added.

[r27853]
optimal.c