From 4ea061ea177c59493e1102338215185f7e12d51e Mon Sep 17 00:00:00 2001 From: SJost Date: Wed, 31 Oct 2018 14:39:15 +0100 Subject: [PATCH] Fix build. --- db.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/db.hs b/db.hs index e2d130fe7..d28038000 100755 --- 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