From ca2ea6c277586b8ec457684b428a6ec7cdf3bf89 Mon Sep 17 00:00:00 2001
From: Moritz Dieing <63721811+moritzdieing@users.noreply.github.com>
Date: Sun, 11 Jul 2021 12:02:54 +0200
Subject: [PATCH] Correct typo

---
 src/main/resources/language/translation_en.properties | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/main/resources/language/translation_en.properties b/src/main/resources/language/translation_en.properties
index 278cfb6..97d570f 100644
--- a/src/main/resources/language/translation_en.properties
+++ b/src/main/resources/language/translation_en.properties
@@ -86,7 +86,7 @@ root.helpInferenceViewFeatures=When a term is successfully type inferred, the in
   steps in the tree are shown. If such a sub-unification or the outermost unification fails, the whole algorithm is \
   cancelled. At the end, the most general unifier is displayed as \u03C3 and the final type as \u03C3(\u03B1\u2081).
 help.typicalcInfo=\
-<a href="https://git.scc.kit.edu/pse-typinferenz/typicalc">Typicalc</a> was developed as a PSE project at\
+<a href="https://git.scc.kit.edu/pse-typinferenz/typicalc">Typicalc</a> was developed as a PSE project at \
    the KIT in WS 20/21 by<br>\
   Robin Böhne<br>\
   Moritz Dieing<br>\