Searched refs:headerLine (Results 1 – 1 of 1) sorted by relevance
845 int headerLine = 0; in addForwardChainStats() local848 if (headerLine < 2) { in addForwardChainStats()853 headerLine++; in addForwardChainStats()