src/lemon/graph_reader.h
changeset 1355 57936f15055b
parent 1341 bda966891ea0
child 1359 1581f961cfaa
equal deleted inserted replaced
9:f59a98843938 10:6f553d580297
   551 	if (vi != (int)::std::string::npos) {
   551 	if (vi != (int)::std::string::npos) {
   552 	  line = line.substr(0, vi);
   552 	  line = line.substr(0, vi);
   553 	}
   553 	}
   554 	vi = line.find_first_not_of(" \t");
   554 	vi = line.find_first_not_of(" \t");
   555 	if (vi != (int)std::string::npos) { 
   555 	if (vi != (int)std::string::npos) { 
   556 	  //	  std::cerr << "Line: " << line.substr(vi) << std::endl;
       
   557 	  return line.substr(vi);
   556 	  return line.substr(vi);
   558 	}
   557 	}
   559       }
   558       }
   560       throw DataFormatError("End of stream error");
   559       throw DataFormatError("End of stream error");
   561     }
   560     }