From d34f674c3e7764039fda5f52452ef634a4889c11 Mon Sep 17 00:00:00 2001 From: Wolfgang Witt Date: Wed, 10 Mar 2021 15:57:54 +0100 Subject: [PATCH] =?UTF-8?q?chore:=20use=20=E2=88=9E=20to=20display=20unres?= =?UTF-8?q?tricted=20room=20size?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- src/Handler/Exam/AutoOccurrence.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/Handler/Exam/AutoOccurrence.hs b/src/Handler/Exam/AutoOccurrence.hs index 28e5e0d4f..9b8bff23b 100644 --- a/src/Handler/Exam/AutoOccurrence.hs +++ b/src/Handler/Exam/AutoOccurrence.hs @@ -168,7 +168,7 @@ postEAutoOccurrenceR tid ssh csh examn = do | Just max'' <- max', max'' /= 0 = MsgProportion (toMessage curr) (toMessage max'') (toRational curr / toRational max'') | otherwise - = MsgProportionNoRatio (toMessage curr) $ maybe "-" toMessage max' + = MsgProportionNoRatio (toMessage curr) $ maybe "∞" toMessage max' occMapping occId = examOccurrenceMappingDescriptionWidget occMappingRule <$> Map.lookup occId (examOccurrenceMappingMapping eaofMapping) in $(widgetFile "widgets/exam-occurrence-mapping")