From e08f9f2ca1e217a124a3723f2be1a5018061d9c1 Mon Sep 17 00:00:00 2001
From: Sarah Vaupel <vaupel@cip.ifi.lmu.de>
Date: Mon, 10 Aug 2020 11:54:05 +0200
Subject: [PATCH] Apply 1 suggestion(s) to 1 file(s)

---
 src/Utils/Course.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/Utils/Course.hs b/src/Utils/Course.hs
index 19726c54e..55dc4f005 100644
--- a/src/Utils/Course.hs
+++ b/src/Utils/Course.hs
@@ -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