Fix a bug in ParameterHandler where parameter entries with "value" key where incorrec...

git-svn-id: https://svn.dealii.org/trunk@29123 0785d39b-7218-0410-832d-ea1e28bc413d

diff --git a/deal.II/source/base/parameter_handler.cc b/deal.II/source/base/parameter_handler.cc
index cacee191a2df829cc14bb63243f49b145eb1bd82..40c512cce1574da779a5a1bb32874ecb3f1cd143 100644 (file)
--- a/deal.II/source/base/parameter_handler.cc
+++ b/deal.II/source/base/parameter_handler.cc
@@ -1228,7 +1228,14 @@ ParameterHandler::demangle (const std::string &s)
 bool
 ParameterHandler::is_parameter_node (const boost::property_tree::ptree &p)
 {
-  return (p.get_optional<std::string>("value"));
+  // A parameter node must have a value key
+  if (p.get_optional<std::string>("value"))
+    {
+      // and the associated child ptree must be final, i.e. no children:
+      if(p.get_child("value").size() == 0)
+        return true;
+    }
+  return false;
 }