src/Pure/General/table.ML

--- a/src/Pure/General/table.ML	Tue Aug 20 09:48:22 2019 +0200
+++ b/src/Pure/General/table.ML	Tue Aug 20 11:01:05 2019 +0200
@@ -8,7 +8,7 @@
 signature KEY =
 sig
   type key
-  val ord: key * key -> order
+  val ord: key ord
 end;
 
 signature TABLE =