src/Pure/Isar/isar_syn.ML

--- a/src/Pure/Isar/isar_syn.ML	Thu Apr 21 22:00:28 2005 +0200
+++ b/src/Pure/Isar/isar_syn.ML	Thu Apr 21 22:02:06 2005 +0200
@@ -257,7 +257,7 @@
 
 val setupP =
   OuterSyntax.command "setup" "apply ML theory setup" K.thy_decl
-    (P.text >> (Toplevel.theory o Context.use_setup));
+    (P.text >> (Toplevel.theory o IsarThy.generic_setup));
 
 val method_setupP =
   OuterSyntax.command "method_setup" "define proof method in ML" K.thy_decl