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