Fixed Copyright in Main Window

KeYProject · May 27, 2014 · 2cff144 · 2cff144
1 parent 9b2f1cb
commit 2cff144
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/system/src/de/uka/ilkd/key/gui/Main.java b/system/src/de/uka/ilkd/key/gui/Main.java
@@ -98,7 +98,7 @@ private enum UiMode {
             " (internal: "+INTERNAL_VERSION+")";
 
     public static final String COPYRIGHT=UnicodeHelper.COPYRIGHT
-            +" Copyright 2001"+UnicodeHelper.ENDASH+"2013 "
+            +" Copyright 2001"+UnicodeHelper.ENDASH+"2014 "
             +"Karlsruhe Institute of Technology, "
             +"Chalmers University of Technology, and Technische Universit\u00e4t Darmstadt";
 
@@ -512,4 +512,4 @@ public static final class Verbosity {
         public static final byte HIGH = 2;
         public static final byte DEBUG = 4;
     }
-}
+}