nvoid GetInputFile(ifstream& InFile){
string InFileName;
RequestString("Enter input file name: ", InFileName); //
Get file name
InFile.open(InFileName.c_str()); // If a name was entered, try
to open the file
if (!InFile){ // test if the open operation is successful
cout
<< "Cannot open " << InFileName << endl;
exit(1);
}
}