src/Tools/Metis/src/Heap.sml
changeset 23510 4521fead5609
parent 23442 028e39e5e8f3
child 39353 7f11d833d65b
--- a/src/Tools/Metis/src/Heap.sml	Wed Jun 27 11:06:43 2007 +0200
+++ b/src/Tools/Metis/src/Heap.sml	Wed Jun 27 12:41:36 2007 +0200
@@ -1,6 +1,6 @@
 (* ========================================================================= *)
 (* A HEAP DATATYPE FOR ML                                                    *)
-(* Copyright (c) 2001-2006 Joe Hurd, distributed under the GNU GPL version 2 *)
+(* Copyright (c) 2001-2006 Joe Hurd, distributed under the BSD License *)
 (* ========================================================================= *)
 
 structure Heap :> Heap =