changeset 52788 | da1fdbfebd39 |
parent 52230 | 1105b3b5aa77 |
child 53171 | a5e54d4d9081 |
--- a/src/Pure/axclass.ML Tue Jul 30 12:07:14 2013 +0200 +++ b/src/Pure/axclass.ML Tue Jul 30 15:09:25 2013 +0200 @@ -320,7 +320,7 @@ let val string_of_sort = Syntax.string_of_sort_global thy; val (c1, c2) = pairself (Sign.certify_class thy) raw_rel; - val _ = Sign.primitive_classrel (c1, c2) (Theory.copy thy); + val _ = Sign.primitive_classrel (c1, c2) thy; val _ = (case subtract (op =) (all_params_of thy [c1]) (all_params_of thy [c2]) of [] => ()