Use identity

This commit is contained in:
Matthias Kurz 2020-12-04 00:36:48 +01:00
parent 8e48630376
commit 0dc7622969
No known key found for this signature in database
GPG Key ID: 0B4AAA92F1117EF5
1 changed files with 1 additions and 1 deletions

View File

@ -480,7 +480,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,