From ee1847358df9674bd7a1c76d1d292a8e809b5768 Mon Sep 17 00:00:00 2001
From: uogau <uogau@student.kit.edu>
Date: Wed, 10 Mar 2021 14:58:33 +0100
Subject: [PATCH] TypeAssumptions close button now only works when type
 assumptions are correct

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

diff --git a/src/main/java/edu/kit/typicalc/view/main/TypeAssumptionsArea.java b/src/main/java/edu/kit/typicalc/view/main/TypeAssumptionsArea.java
index 7ef831b..6eaef76 100644
--- a/src/main/java/edu/kit/typicalc/view/main/TypeAssumptionsArea.java
+++ b/src/main/java/edu/kit/typicalc/view/main/TypeAssumptionsArea.java
@@ -118,7 +118,7 @@ public class TypeAssumptionsArea extends Dialog implements LocaleChangeObserver
         headingLayout.setId(HEADING_LAYOUT_ID);
 
         Icon closeIcon = new Icon(VaadinIcon.CLOSE_SMALL);
-        closeIcon.addClickListener(event -> this.close());
+        closeIcon.addClickListener(event -> closeAction());
         closeIcon.setId(CLOSE_ICON_ID);
         headingLayout.add(heading);
         headingLayout.add(closeIcon);