Searched refs:UserFilesNum (Results 1 – 1 of 1) sorted by relevance
1681 unsigned UserFilesNum = 0; in WriteInputFiles() local1695 ++UserFilesNum; in WriteInputFiles()1745 InputFileOffsets.size(), UserFilesNum}; in WriteInputFiles()