Fox copyright year

KeYProject · Aug 30, 2024 · 4121ecc · 4121ecc
1 parent fb780ae
commit 4121ecc
Showing 1 changed file with 1 addition and 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
@@ -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";
 }