ws                 52 data/sphere/2014paperALE_sphere/improve_sphere.cpp 		if( !(line >> d1 >> d2 >> d3) || !(line >> ws).eof() )
ws                123 data/sphere/level_set_test.cpp   if(!(iss >> d1 >> d2 >> d3) || !(iss >> std::ws).eof() )
ws                 75 include/io_dof.h       if(!(ifs >> std::ws).eof()) throw std::runtime_error
ws                143 old_code/2015linfty/dune_bdf.hpp 		if(!(interpreter >> std::ws).eof())	// stuff left in stream?
ws                164 old_code/tumor_growth/tumor_bdf.h     if(!(interpreter >> std::ws).eof())	// stuff left in stream?
ws                192 src/grid_GridAndTime_impl.cpp   if( !(interpreter >> std::ws).eof()) // stuff left in stream
ws                253 src/grid_GridAndTime_impl.cpp       if(!(iss >> ws).eof()) throw bad {"Too many entries."};