Searched refs:out_file_stream (Results 1 – 1 of 1) sorted by relevance
91 std::ofstream out_file_stream; in main() local93 out_file_stream.open(options.out_file); in main()94 cout = &out_file_stream; in main()