Searched refs:line1_length (Results 1 – 2 of 2) sorted by relevance
1025 double line1_length = line1.Length(); in LineLineTieBreaker() local1045 else if ( line0_length > line1_length ) in LineLineTieBreaker()