src/Pure/Isar/context_rules.ML
changeset 15574 b1d1b5bfc464
parent 15570 8d8c70b41bab
child 15801 d2f5ca3c048d
     1.1 --- a/src/Pure/Isar/context_rules.ML	Fri Mar 04 11:44:26 2005 +0100
     1.2 +++ b/src/Pure/Isar/context_rules.ML	Fri Mar 04 15:07:34 2005 +0100
     1.3 @@ -203,7 +203,7 @@
     1.4  
     1.5  fun gen_wrap which ctxt =
     1.6    let val Rules {wrappers, ...} = LocalRules.get ctxt
     1.7 -  in fn tac => Library.foldr (fn ((w, _), t) => w t) (which wrappers, tac) end;
     1.8 +  in fn tac => foldr (fn ((w, _), t) => w t) tac (which wrappers) end;
     1.9  
    1.10  val Swrap = gen_wrap #1;
    1.11  val wrap = gen_wrap #2;