src/Pure/axclass.ML

--- a/src/Pure/axclass.ML	Fri Aug 23 20:09:34 2013 +0200
+++ b/src/Pure/axclass.ML	Fri Aug 23 20:35:50 2013 +0200
@@ -264,9 +264,8 @@
     else SOME (map_proven_arities (K arities') thy)
   end;
 
-val _ = Context.>> (Context.map_theory
-  (Theory.at_begin complete_classrels #>
-   Theory.at_begin complete_arities));
+val _ = Theory.setup
+  (Theory.at_begin complete_classrels #> Theory.at_begin complete_arities);
 
 val _ = Proofterm.install_axclass_proofs
   {classrel_proof = Thm.proof_of oo the_classrel,