From d44b4a56f70454fd1a27bea201057d92fa6cd294 Mon Sep 17 00:00:00 2001
From: Gregor Kleen <gkleen@yggdrasil.li>
Date: Thu, 17 May 2018 14:14:13 +0200
Subject: [PATCH] Don't insert deprecated Corrector-record

---
 fill-db.hs | 1 -
 1 file changed, 1 deletion(-)

diff --git a/fill-db.hs b/fill-db.hs
index 4802b75e1..12301d0d8 100755
--- a/fill-db.hs
+++ b/fill-db.hs
@@ -104,7 +104,6 @@ main = db $ do
   void . insert $ DegreeCourse ffp sdMst sdInf
   void . insert $ Lecturer jost   ffp
   void . insert $ Lecturer gkleen ffp
-  insert_ $ Corrector gkleen ffp (ByProportion 1)
   sheetkey <- insert $ Sheet ffp "AdHoc-Gruppen" Nothing NotGraded (Arbitrary 3) Nothing Nothing now now Nothing Nothing
   insert_ $ SheetEdit gkleen now sheetkey
   sheetkey <- insert $ Sheet ffp "Feste Gruppen" Nothing NotGraded RegisteredGroups Nothing Nothing now now Nothing Nothing