1.1 --- a/src/Pure/Isar/method.ML	Thu Mar 27 15:32:12 2008 +0100
     1.2 +++ b/src/Pure/Isar/method.ML	Thu Mar 27 15:32:15 2008 +0100
     1.3 @@ -554,7 +554,7 @@
     1.4  
     1.5  (* theory setup *)
     1.6  
     1.7 -val _ = Context.add_setup (add_methods
     1.8 +val _ = Context.>> (add_methods
     1.9   [("fail", no_args fail, "force failure"),
    1.10    ("succeed", no_args succeed, "succeed"),
    1.11    ("-", no_args insert_facts, "do nothing (insert current facts only)"),