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