From d2411b564add10c9504d44f5991aa68525d130b9 Mon Sep 17 00:00:00 2001 From: Gregor Kleen Date: Wed, 18 Jul 2018 17:01:32 +0200 Subject: [PATCH] Work around format producing multiple rating lines --- src/Handler/Utils/Rating.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/Handler/Utils/Rating.hs b/src/Handler/Utils/Rating.hs index 2bb15c23f..5f35365e1 100644 --- a/src/Handler/Utils/Rating.hs +++ b/src/Handler/Utils/Rating.hs @@ -131,7 +131,7 @@ formatRating cID Rating{ ratingValues = Rating'{..}, ..} = let [ Just $ "Veranstaltung:" <+> pretty ratingCourseName , Just $ "Blatt:" <+> pretty ratingSheetName , ("Korrektor:" <+>) . pretty <$> ratingCorrectorName - , Just $ "Bewertung:" <+> pretty (display ratingSheetType) + , Just $ "Blatt-Bewertung:" <+> pretty (display ratingSheetType) ] , "Abgabe-Id:" <+> pretty (ciphertext cID) , "============================================="