From 118a4f25e296a9eb9968654d20b5ed6f044d423f Mon Sep 17 00:00:00 2001
From: wolf <wolf@0785d39b-7218-0410-832d-ea1e28bc413d>
Date: Thu, 8 Sep 2005 23:33:47 +0000
Subject: [PATCH] Use the has_documentation flag.

git-svn-id: https://svn.dealii.org/trunk@11374 0785d39b-7218-0410-832d-ea1e28bc413d
---
 deal.II/base/source/parameter_handler.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/deal.II/base/source/parameter_handler.cc b/deal.II/base/source/parameter_handler.cc
index d84d70c152..c4a1084b98 100644
--- a/deal.II/base/source/parameter_handler.cc
+++ b/deal.II/base/source/parameter_handler.cc
@@ -915,7 +915,7 @@ ParameterHandler::print_parameters_section (std::ostream      &out,
                                              // text after this, then add a
                                              // comment marker and align it
                                              // properly
-            if ((pd->entries[ptr->first].documentation.length() != 0)
+            if ((pd->entries[ptr->first].has_documentation())
                 ||
                 (value != pd->entries[ptr->first].value))
               out << std::setw(longest_value-value.length()+1) << " "
-- 
2.39.5