changeset 42385 | b46b47775cbe |
parent 42383 | 0ae4ad40d7b5 |
child 42387 | b1965c8992c8 |
--- a/src/Pure/type.ML Mon Apr 18 11:44:39 2011 +0200 +++ b/src/Pure/type.ML Mon Apr 18 12:04:21 2011 +0200 @@ -310,7 +310,7 @@ fun arity_sorts _ tsig a [] = replicate (arity_number tsig a) [] | arity_sorts pp (TSig {classes, ...}) a S = Sorts.mg_domain (#2 classes) a S - handle Sorts.CLASS_ERROR err => error (Sorts.class_error pp err); + handle Sorts.CLASS_ERROR err => error (Sorts.class_error (Syntax.init_pretty pp) err);