diff -r 844a9ec44858 -r e330437cd22a src/Tools/Metis/src/Ordered.sml
--- a/src/Tools/Metis/src/Ordered.sml	Wed Sep 15 22:24:35 2010 +0200
+++ b/src/Tools/Metis/src/Ordered.sml	Thu Sep 16 07:24:04 2010 +0200
@@ -1,6 +1,6 @@
 (* ========================================================================= *)
 (* ORDERED TYPES                                                             *)
-(* Copyright (c) 2004-2006 Joe Hurd, distributed under the BSD License       *)
+(* Copyright (c) 2004 Joe Hurd, distributed under the MIT license            *)
 (* ========================================================================= *)
 
 structure IntOrdered =