diff --git a/src/main/java/edu/kit/typicalc/view/main/TypeAssumptionField.java b/src/main/java/edu/kit/typicalc/view/main/TypeAssumptionField.java
index 6c3b453..bfeee54 100644
--- a/src/main/java/edu/kit/typicalc/view/main/TypeAssumptionField.java
+++ b/src/main/java/edu/kit/typicalc/view/main/TypeAssumptionField.java
@@ -119,7 +119,7 @@ public class TypeAssumptionField extends HorizontalLayout implements LocaleChang
                 .bind(o -> variableInputField.getEmptyValue(), null);
         variableInputField.setReadOnly(false);
         typeBinder.forField(typeInputField)
-            .withValidator(type -> (hasCorrectVariable(type) || isEmpty()), StringUtils.EMPTY)
+            .withValidator(type -> (hasCorrectType(type) || isEmpty()), StringUtils.EMPTY)
             .bind(o -> typeInputField.getEmptyValue(), null);
         typeInputField.setReadOnly(false);
     }