From 07df9aa4c0b9bd865e416b608de6c3c2bf4e6a75 Mon Sep 17 00:00:00 2001 From: Matthias Kurz Date: Fri, 4 Dec 2020 00:36:48 +0100 Subject: [PATCH] Use identity --- main/src/main/scala/sbt/Project.scala | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/main/src/main/scala/sbt/Project.scala b/main/src/main/scala/sbt/Project.scala index 024165ab6..57841ea80 100755 --- a/main/src/main/scala/sbt/Project.scala +++ b/main/src/main/scala/sbt/Project.scala @@ -479,7 +479,7 @@ object Project extends ProjectExtra { } def setProject(session: SessionSettings, structure: BuildStructure, s: State): State = - setProject(session, structure, s, st => st) + setProject(session, structure, s, identity) def setProject( session: SessionSettings,