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