Searched refs:BestHeight (Results 1 – 1 of 1) sorted by relevance
373 unsigned BestHeight = 0; in pickTraceSucc() local388 if (!Best || Height < BestHeight) { in pickTraceSucc()390 BestHeight = Height; in pickTraceSucc()