From 978ccb034c6672ace03447f2f64194741bc5ac42 Mon Sep 17 00:00:00 2001 From: Arne Keller Date: Mon, 30 Aug 2021 15:56:51 +0200 Subject: [PATCH] Fix typo in translation --- src/main/resources/language/translation_de.properties | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/main/resources/language/translation_de.properties b/src/main/resources/language/translation_de.properties index a07868c..7b5b69e 100644 --- a/src/main/resources/language/translation_de.properties +++ b/src/main/resources/language/translation_de.properties @@ -186,7 +186,7 @@ root.absLetLatex=\ \\end{prooftree} root.infinite_type = Der eingegebene Term ist nicht typisierbar: \ -Durch den hervorgehobenen} Constraint würde sich ein unendlicher Typ ergeben! +Durch den hervorgehobenen Constraint würde sich ein unendlicher Typ ergeben! root.different_types = Der eingegebene Term ist nicht typisierbar: \ In dem hervorgehobenen Constraint werden zwei unvereinbare Typen gleichgesetzt!