isl_tab.c: sign_of_min: only pivot back if we performed any pivot
commit588d3562095e11d6ee28861057f6081d7366b7e8
authorSven Verdoolaege <skimo@purples.(none)>
Sun, 6 Sep 2009 11:30:12 +0000 (6 13:30 +0200)
committerSven Verdoolaege <skimo@purples.(none)>
Sun, 6 Sep 2009 15:57:15 +0000 (6 17:57 +0200)
tree724311746384c9c3e4aee7904cb8eb9ee1fc1d6f
parent42dcb9a71e7658366241492ecd34a56543a789ec
isl_tab.c: sign_of_min: only pivot back if we performed any pivot
isl_tab.c