From: Rene Gassmoeller <rene.gassmoeller@mailbox.org>
Date: Tue, 4 Apr 2017 18:20:55 +0000 (-0600)
Subject: Remove MIN_DOUBLE, since it is never used
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=62960a23050c0c72bc0116a43a7afc824833a6ad;p=parameter_gui.git

Remove MIN_DOUBLE, since it is never used
---

diff --git a/parameter_delegate.cpp b/parameter_delegate.cpp
index 80163ed..f4c7a40 100644
--- a/parameter_delegate.cpp
+++ b/parameter_delegate.cpp
@@ -179,12 +179,8 @@ namespace dealii
               // In practice MAX_DOUBLE just means VERY large, it is normally not
               // important how large.
               const double max_double = std::numeric_limits<double>::max()/2;
-              const double min_double = std::numeric_limits<double>::min();
-
               default_values = default_values.replaceInStrings("MAX_DOUBLE",
                                                                QVariant(max_double).toString());
-              default_values = default_values.replaceInStrings("MIN_DOUBLE",
-                                                               QVariant(min_double).toString());
 
               const unsigned int number_of_decimals = 14;