Fix build.

2018-10-31 14:39:15 +01:00 · 2018-10-31 14:39:15 +01:00 · 4ea061ea17
commit 4ea061ea17
parent e5a0cecd7e
1 changed files with 1 additions and 1 deletions
--- a/db.hs
+++ b/db.hs
@ -299,7 +299,7 @@ fillDb = do
    { sheetCourse = pmo
    , sheetName = "Blatt 1"
    , sheetDescription = Nothing
-    , sheetType = Normal 6
+    , sheetType = Normal $ Points 6
    , sheetGrouping = Arbitrary 3
    , sheetMarkingText = Nothing
    , sheetVisibleFrom = Just now