1.1 --- a/src/Pure/Isar/method.ML	Tue Sep 19 23:52:37 2000 +0200
     1.2 +++ b/src/Pure/Isar/method.ML	Tue Sep 19 23:53:00 2000 +0200
     1.3 @@ -202,7 +202,7 @@
     1.4  val intro_local = mk_att LocalRules.map add_intro;
     1.5  val rule_del_local = mk_att LocalRules.map del_rule;
     1.6  
     1.7 -fun del_args att = Attrib.syntax (Scan.lift (Args.$$$ Args.delN) >> K att);
     1.8 +fun del_args att = Attrib.syntax (Scan.lift Args.del >> K att);
     1.9  
    1.10  end;
    1.11