Searched refs:deprecation_number (Results 1 – 1 of 1) sorted by relevance
115 byte deprecation_number = (byte) fgetc(fp); in read_replay_header() local151 if (deprecation_number > REPLAY_FORMAT_DEPRECATION_NUMBER) { in read_replay_header()156 header->implementation_name, REPLAY_FORMAT_DEPRECATION_NUMBER, deprecation_number); in read_replay_header()161 g_deprecation_number = deprecation_number; in read_replay_header()168 class, version_number, deprecation_number); in read_replay_header()