src/Pure/axclass.ML
changeset 8927 1cf815412d78
parent 8897 fb1436ca3b2e
child 10008 61eb9f3aa92a
     1.1 --- a/src/Pure/axclass.ML	Tue May 23 12:13:45 2000 +0200
     1.2 +++ b/src/Pure/axclass.ML	Tue May 23 12:30:29 2000 +0200
     1.3 @@ -379,7 +379,7 @@
     1.4  val read_arity = prep_arity Sign.intern_tycon Sign.read_sort Sign.read_sort;
     1.5  val cert_arity = prep_arity (K I) Sign.certify_sort Sign.certify_sort;
     1.6  val read_simple_arity = prep_arity Sign.intern_tycon Sign.read_sort Sign.intern_class;
     1.7 -val cert_simple_arity = prep_arity (K I) Sign.certify_sort (K I);
     1.8 +fun cert_simple_arity arg = prep_arity (K I) Sign.certify_sort (K I) arg;
     1.9  
    1.10  
    1.11  (* old-style instance declarations *)