-
Andreas Zwinkau authored
* the splitted edge is never critical, so the name was misleading * it might result in an infinite loop fixes opt/jumpthreading5 and opt/jumpthreading5b
2dc83299
* the splitted edge is never critical, so the name was misleading * it might result in an infinite loop fixes opt/jumpthreading5 and opt/jumpthreading5b