Searched refs:UserFilesNum (Results 1 – 1 of 1) sorted by relevance
1483 unsigned UserFilesNum = 0; in WriteInputFiles() local1500 ++UserFilesNum; in WriteInputFiles()1531 Record.push_back(UserFilesNum); in WriteInputFiles()