diff --git a/util/collection/src/main/scala/sbt/Settings.scala b/util/collection/src/main/scala/sbt/Settings.scala
index 9edc46ca7..bc4aca4ce 100644
--- a/util/collection/src/main/scala/sbt/Settings.scala
+++ b/util/collection/src/main/scala/sbt/Settings.scala
@@ -85,6 +85,10 @@ trait Init[Scope] {
    */
   private[sbt] final def validated[T](key: ScopedKey[T], selfRefOk: Boolean): ValidationCapture[T] = new ValidationCapture(key, selfRefOk)
 
+
+  @deprecated("0.13.7", "Use the version with default arguments and default paramter.")
+  final def derive[T](s: Setting[T], allowDynamic: Boolean, filter: Scope => Boolean, trigger: AttributeKey[_] => Boolean): Setting[T] =
+    derive(s, allowDynamic, filter, trigger, false)
   /**
    * Constructs a derived setting that will be automatically defined in every scope where one of its dependencies
    * is explicitly defined and the where the scope matches `filter`.