Searched refs:user_out_filename (Results 1 – 1 of 1) sorted by relevance
149 std::string user_out_filename; // output filename if no prefix is used in main() local250 user_out_filename = files[1]; in main()322 std::string out_filename = user_out_filename; in main()