55     }

    55     }

    56     buffer[j] = '\0';

    56     buffer[j] = '\0';

    57   }

    57   }

    58 }

    58 }

    59 

    59 

    61 static void print_flag_error_message_if_needed(Flag::Error error, const char* name, FormatBuffer<80>& err_msg) {

    60 static void print_flag_error_message_if_needed(Flag::Error error, const char* name, FormatBuffer<80>& err_msg) {

    62   if (error == Flag::SUCCESS) {

    61   if (error == Flag::SUCCESS) {

    63     return;

    62     return;

    64   }

    63   }

    65 

    64