src/Tools/Metis/src/PortableMosml.sml
changeset 39349 2d0a4361c3ef
parent 39348 6f9c9899f99f
child 39353 7f11d833d65b
--- a/src/Tools/Metis/src/PortableMosml.sml	Mon Sep 13 21:09:43 2010 +0200
+++ b/src/Tools/Metis/src/PortableMosml.sml	Mon Sep 13 21:11:59 2010 +0200
@@ -1,6 +1,6 @@
 (* ========================================================================= *)
 (* MOSCOW ML SPECIFIC FUNCTIONS                                              *)
-(* Copyright (c) 2002 Joe Hurd, distributed under the GNU GPL version 2      *)
+(* Copyright (c) 2002 Joe Hurd, distributed under the BSD License            *)
 (* ========================================================================= *)
 
 structure Portable :> Portable =