Use identity

This commit is contained in:
Matthias Kurz
2020-12-04 00:43:59 +01:00
parent 583ac69c15
commit 07df9aa4c0
+1 -1
View File
@@ -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,