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!