Fix copyright notice (#3508)

KeYProject · Aug 30, 2024 · 95d94e0 · 95d94e0
2 parents fb780ae + 4121ecc
commit 95d94e0
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";
 }