Lines 224-230
Link Here
|
224 |
|
224 |
|
225 |
void |
225 |
void |
226 |
set_input(const char* file_name) { |
226 |
set_input(const char* file_name) { |
227 |
if (input_stream_p && *input_stream_p != std::cin) |
227 |
if (input_stream_p && input_stream_p != &std::cin) |
228 |
delete input_stream_p; |
228 |
delete input_stream_p; |
229 |
|
229 |
|
230 |
if (file_name) { |
230 |
if (file_name) { |
Lines 250-256
Link Here
|
250 |
|
250 |
|
251 |
void |
251 |
void |
252 |
set_output(const char* file_name) { |
252 |
set_output(const char* file_name) { |
253 |
if (output_stream_p && *output_stream_p != std::cout) |
253 |
if (output_stream_p && output_stream_p != &std::cout) |
254 |
delete output_stream_p; |
254 |
delete output_stream_p; |
255 |
|
255 |
|
256 |
if (file_name) { |
256 |
if (file_name) { |