From 4121eccca50a8850536b02762c3cc639b515c164 Mon Sep 17 00:00:00 2001 From: Florian Lanzinger Date: Fri, 30 Aug 2024 14:40:47 +0200 Subject: [PATCH] Fox copyright year --- key.core/src/main/java/de/uka/ilkd/key/util/KeYConstants.java | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/key.core/src/main/java/de/uka/ilkd/key/util/KeYConstants.java b/key.core/src/main/java/de/uka/ilkd/key/util/KeYConstants.java index edc69202cbf..ad764324f60 100644 --- a/key.core/src/main/java/de/uka/ilkd/key/util/KeYConstants.java +++ b/key.core/src/main/java/de/uka/ilkd/key/util/KeYConstants.java @@ -10,6 +10,6 @@ public interface KeYConstants { KeYResourceManager.getManager().getVersion() + " (internal: " + INTERNAL_VERSION + ")"; String COPYRIGHT = UnicodeHelper.COPYRIGHT + " Copyright 2001" - + UnicodeHelper.ENDASH + "2023 " + "Karlsruhe Institute of Technology, " + + UnicodeHelper.ENDASH + "2024 " + "Karlsruhe Institute of Technology, " + "Chalmers University of Technology, and Technische Universit\u00e4t Darmstadt"; }