From 93449c649a843f42bd31fd928b7abc01c94d9abc Mon Sep 17 00:00:00 2001
From: David Wells <wellsd2@rpi.edu>
Date: Mon, 18 Jan 2016 17:23:32 -0500
Subject: [PATCH] Prefer 'std::getline' to just 'getline'.

---
 source/base/parameter_handler.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/source/base/parameter_handler.cc b/source/base/parameter_handler.cc
index df342b722b..97679b3f06 100644
--- 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);
-- 
2.39.5