diff --git a/src/core/double.h b/src/core/double.h
index 4c4f3b762..509542f76 100644
--- a/src/core/double.h
+++ b/src/core/double.h
@@ -32,6 +32,9 @@ ATTRIBUTE_ACCESSOR_DEFINE (Double);
 template <typename T>
 Ptr<const AttributeChecker> MakeDoubleChecker (void);
 
+template <typename T>
+Ptr<const AttributeChecker> MakeDoubleChecker (double min);
+
 Ptr<const AttributeChecker> MakeDoubleChecker (double min, double max);
 
 
@@ -46,6 +49,13 @@ Ptr<const AttributeChecker> MakeDoubleChecker (void)
 			    std::numeric_limits<T>::max ());
 }
 
+template <typename T>
+Ptr<const AttributeChecker> MakeDoubleChecker (double min)
+{
+  return MakeDoubleChecker (min,
+			    std::numeric_limits<T>::max ());
+}
+
 } // namespace ns3