From d1eccc7ec594055d05dac96bf4ec7be668688573 Mon Sep 17 00:00:00 2001
From: Moritz Dieing <63721811+moritzdieing@users.noreply.github.com>
Date: Wed, 10 Mar 2021 20:46:13 +0100
Subject: [PATCH] Fix mistake

---
 .../java/edu/kit/typicalc/view/main/TypeAssumptionField.java    | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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);
     }