// Record the input arguments obtained from parsing the command line.
void
- report_inputs(const Input_arguments& ins)
- { this->inputs_ = &ins; }
+ report_inputs(const Input_arguments& inputs)
+ { this->inputs_ = &inputs; }
// Record that the input argument INPUT is an archive ARCHIVE.
void