Prefer 'std::getline' to just 'getline'.

diff --git a/source/base/parameter_handler.cc b/source/base/parameter_handler.cc
index df342b722bfe73fc9a959c9a0c0f339df8adef8f..97679b3f06f6523946e9f9c4737cdbc6e3d3831a 100644 (file)
--- a/source/base/parameter_handler.cc
+++ b/source/base/parameter_handler.cc
@@ -1341,7 +1341,7 @@ bool ParameterHandler::read_input (std::istream &input,
   unsigned int current_line_n = 0;
   bool status = true;
 
-  while (getline (input, line))
+  while (std::getline (input, line))
     {
       ++current_line_n;
       status &= scan_line (line, filename, current_line_n);