From 5285aa067e8aba7ad40a33a5f6373c1592006fc5 Mon Sep 17 00:00:00 2001
From: ucrhh <ucrhh@student.kit.edu>
Date: Fri, 5 Mar 2021 12:48:29 +0100
Subject: [PATCH] fix that link changes when entering empty term

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

diff --git a/src/main/java/edu/kit/typicalc/view/main/MainViewImpl.java b/src/main/java/edu/kit/typicalc/view/main/MainViewImpl.java
index 920dd5f..870d953 100644
--- a/src/main/java/edu/kit/typicalc/view/main/MainViewImpl.java
+++ b/src/main/java/edu/kit/typicalc/view/main/MainViewImpl.java
@@ -95,7 +95,7 @@ public class MainViewImpl extends AppLayout
     private void setTermInURL(Pair<String, Map<String, String>> lambdaTermAndAssumptions) {
         String lambdaTerm = lambdaTermAndAssumptions.getLeft();
         if ("".equals(lambdaTerm)) {
-            UI.getCurrent().getPage().getHistory().pushState(null, new Location(""));
+            UI.getCurrent().getPage().getHistory().pushState(null, "./");
             setContent(new StartPageView());
             return;
         }