# HG changeset patch
# User wenzelm
# Date 861207660 -7200
# Node ID 842be30dc3362db8ef76890d32204a1a929505ef
# Parent  a6b56d03ed0dd8ba291fc40bbcb9976df944b118
Sorts.str_of_arity;

diff -r a6b56d03ed0d -r 842be30dc336 src/Pure/axclass.ML
--- a/src/Pure/axclass.ML	Wed Apr 16 18:17:38 1997 +0200
+++ b/src/Pure/axclass.ML	Wed Apr 16 18:21:00 1997 +0200
@@ -267,7 +267,7 @@
   prove mk_classrel (fn (c1, c2) => c1 ^ " < " ^ c2);
 
 val prove_arity =
-  prove mk_arity (fn (t, ss, c) => Type.str_of_arity (t, ss, [c]));
+  prove mk_arity (fn (t, ss, c) => Sorts.str_of_arity (t, ss, [c]));
 
 
 (* make goals (for interactive use) *)