--- a/src/Tools/Metis/src/Ordered.sml Mon Sep 13 20:27:40 2010 +0200
+++ /dev/null Thu Jan 01 00:00:00 1970 +0000
@@ -1,10 +0,0 @@
-(* ========================================================================= *)
-(* ORDERED TYPES *)
-(* Copyright (c) 2004-2006 Joe Hurd, distributed under the BSD License *)
-(* ========================================================================= *)
-
-structure IntOrdered =
-struct type t = int val compare = Int.compare end;
-
-structure StringOrdered =
-struct type t = string val compare = String.compare end;