changeset 36429 | 9d6b3be996d4 |
parent 36328 | 4d9deabf6474 |
child 37248 | 8e8e5f9d1441 |
--- a/src/Pure/sorts.ML Tue Apr 27 21:34:22 2010 +0200 +++ b/src/Pure/sorts.ML Tue Apr 27 21:46:10 2010 +0200 @@ -189,7 +189,7 @@ if can (Graph.get_node (classes_of algebra)) c then c else raise TYPE ("Undeclared class: " ^ quote c, [], []); -fun certify_sort classes = minimize_sort classes o map (certify_class classes); +fun certify_sort classes = map (certify_class classes);