Apply 1 suggestion(s) to 1 file(s)

This commit is contained in:
Sarah Vaupel 2020-08-10 11:54:05 +02:00
parent e9d67fdac9
commit e08f9f2ca1

View File

@ -141,7 +141,7 @@ courseAllocationRegistrationOpen now cid maid = E.exists . E.from $ \(allocation
(\registerFrom -> registerFrom E.<=. E.val now)
(allocation E.^. AllocationRegisterFrom)
E.&&. E.maybe
(E.val True)
E.true
(\registerTo -> E.val now E.<=. registerTo)
(allocation E.^. AllocationRegisterTo)
E.&&. maybe (E.val True) (\aid -> aid E.==. allocation E.^. AllocationId) maid