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