Remove MIN_DOUBLE, since it is never used

diff --git a/parameter_delegate.cpp b/parameter_delegate.cpp
index 80163ed0e09197c5527cca6f5ca88572b8b9e513..f4c7a40360791613d9c8a82eb4ddb5e0338d9b6a 100644 (file)
--- 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;